Submissions from github.com/leanprover

		Kernel accepts wrong-structure projections, allowing axiom-free proof of False (github.com/leanprover)
		5 points by gopiandcode 51 days ago \| past
		Buffer Overflow in Lean_io_prim_handle_read (github.com/leanprover)
		2 points by gopiandcode 5 months ago \| past \| 1 comment
		Lean 4, Release v4.17.0 (github.com/leanprover)
		5 points by todsacerdoti on March 4, 2025 \| 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