Hacker Neus
Lean theorem prover mathlib
(github.com)
83 points
by downboots
4 days ago |
4 comments
