Lean theorem prover mathlib

83 pointsposted 2 months ago
by downboots
(github.com)

No comments yet