Curry-Howard Correspondence – How proof assistants work [pdf]
By max-amb · 2026-07-17 · 1 points · 0 comments
https://cklixx.people.wm.edu/teaching/math400/Wesley-P1.pdf
By max-amb · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews