Curry-Howard Correspondence – How proof assistants work [pdf]cklixx.people.wm.edu1 point·max-amb··0 commentsOpen articleSaveView on HN