Submissions from github.com/leanprover

		Lean 4, Release v4.17.0 (github.com/leanprover)
		5 points by todsacerdoti 5 months ago \| past
		Lean 4.0 (github.com/leanprover)
		130 points by quag on Sept 8, 2023 \| past \| 91 comments
		Check my proof of P=NP for errors [pdf] (github.com/leanprover)
		3 points by porton on June 28, 2021 \| past \| 12 comments
		Lean Theorem Prover (github.com/leanprover)
		2 points by tosh on Oct 14, 2019 \| past
		Lean Theorem Prover (github.com/leanprover)
		1 point by luu on June 21, 2014 \| past