Curry-Howard Correspondence – How proof assistants work [pdf] (cklixx.people.wm.edu) 1 points by max-amb 3mo ago ↗ HN
0 comments
[ 3.9 ms ] story [ 7.9 ms ] threadNo comments yet.