Lean theorem prover mathlib

83 points • downboots • 5 days ago • 4 comments