New top story on Hacker News: Doing a math assignment with the Lean theorem prover

No comments