Submissions from github.com/leanprover

1.		Kernel accepts wrong-structure projections, allowing axiom-free proof of False (github.com/leanprover)
		5 points by gopiandcode 3 months ago \| past
2.		Buffer Overflow in Lean_io_prim_handle_read (github.com/leanprover)
		2 points by gopiandcode 7 months ago \| past \| 1 comment
3.		Lean 4, Release v4.17.0 (github.com/leanprover)
		5 points by todsacerdoti on March 4, 2025 \| past
4.		Lean 4.0 (github.com/leanprover)
		130 points by quag on Sept 8, 2023 \| past \| 91 comments
5.		Check my proof of P=NP for errors [pdf] (github.com/leanprover)
		3 points by porton on June 28, 2021 \| past \| 12 comments
6.		Lean Theorem Prover (github.com/leanprover)
		2 points by tosh on Oct 14, 2019 \| past
7.		Lean Theorem Prover (github.com/leanprover)
		1 point by luu on June 21, 2014 \| past