Hacker News new | ask | show | jobs
Curry-Howard Correspondence – How proof assistants work [pdf] (cklixx.people.wm.edu)
1 points by max-amb 11 days ago