Hacker News

Untangling Mechanized Proofs(plv.csail.mit.edu)

55 pointsmatt_d posted 9 months ago
13 Comments:
Comment loading...
Comment loading...
Comment loading...
Comment loading...