Untangling Mechanized Proofs

 (csail.mit.edu)

55 points | by matt_d 1254 days ago

13 comments