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
- Logicomix - Wikipedia http://en.wikipedia.org/wiki/logicomix 23 comments
- The Natural Number Game http://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ 15 comments
- Ring (mathematics) - Wikipedia https://en.wikipedia.org/wiki/Ring_(mathematics) 5 comments
- Peano axioms - Wikipedia https://en.wikipedia.org/wiki/Peano_axioms 0 comments
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.