Comment by Jblx2 11 hours ago >A proof is not like a program.https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon... 0 comments Jblx2 Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗