2 weeks ago · software

Running Lean at Scale

Article URL: https://harmonic.fun/newsblog-post-lean Comments URL: https://news.ycombinator.com/item?id=46608731 Points: 6 Comments: 0...

1 month ago · software

Lean theorem prover mathlib

Article URL: https://github.com/leanprover-community/mathlib4 Comments URL: https://news.ycombinator.com/item?id=46260128 Points: 34 Comments: 0...

1 month ago · software

Lean Theorem Prover Mathlib

Article URL: https://github.com/leanprover-community/mathlib4 Comments URL: https://news.ycombinator.com/item?id=46260128 Points: 8 Comments: 0...