← Back to context

Comment by krapht

6 years ago

You can also literately program in Lean, and get out math theorems like http://pat.perso.ens-lyon.org/M1P1/

0 comments

krapht

Reply

No comments yet

Contribute on Hacker News ↗