Hacker News
- Doing a math assignment with the Lean theorem prover https://ahelwer.ca/post/2020-04-05-lean-assignment/ 29 comments
Lobsters
- Doing a math assignment with the Lean theorem prover https://ahelwer.ca/post/2020-04-05-lean-assignment/ 3 comments formalmethods , math
Linked pages
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:ahelwer.ca
Search title: Doing a math assignment with the Lean theorem prover - Andrew Helwer
See how to search.