Untangling Mechanized Proofs

(csail.mit.edu)

55 points | by matt_d 16 days ago

13 comments