Lean theorem prover mathlib

[downboots]

Article URL: https://github.com/leanprover-community/mathlib4

Comments URL: https://news.ycombinator.com/item?id=46260128

Points: 53

# Comments: 1