How to Believe a Machine-Checked Proof (1996)

by Robert Pollack
Citations:29 - 1 self