How to Believe a Machine-Checked Proof (1996)

by Robert Pollack
Venue:Proceedings of a Congress held in
Citations:26 - 1 self