New top story on Hacker News: Doing a math assignment with the Lean theorem prover Posted By: Rushan Skywalker 8:08 PM Leave a Reply Doing a math assignment with the Lean theorem prover 5 by ahelwer | 1 comments on Hacker News. Tweet Share Share Share Share
0 comments: