How to Believe a Machine-Checked Proof (1997)

by Robert Pollack
Citations:20 - 1 self