C cklixx.people.wm.edu Curry-Howard Correspondence – How proof assistants work [pdf] 1 points max-amb 3 months ago 0 comments
