A ahelwer.ca Doing a math assignment with the Lean theorem prover 141 points ahelwer 6 years ago 29 comments
