Untangling Mechanized Proofs

(csail.mit.edu)

54 points | by matt_d 11 days ago

11 comments