Sunday, April 5, 2020

Doing a math assignment with the Lean theorem prover

By April 05, 2020 , No comments

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

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

Points: 1

# Comments: 0



from Hacker News: Newest https://ift.tt/2X7uJR0

0 comments:

Post a Comment