logoalt Hacker News

Lean theorem prover mathlib

41 points • by downboots • today at 1:49 AM • 0 comments • view on HN

Comments