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