Doing a math assignment with the Lean theorem prover

Article URL: https://ahelwer.ca/post/2020-04-05-lean-assignment/

Comments URL: https://news.ycombinator.com/item?id=22789953

Points: 5

# Comments: 1

from Hacker News: Front Page https://ift.tt/2X7uJR0
via