How to Believe a Machine-Checked Proof (1997)

by Robert Pollack
Citations:26 - 1 self

Document Versions

How to Believe a Machine-Checked Proof –Robert Pollack — 1997
How to Believe a Machine-Checked Proof –Robert Pollack — 1996
How to Believe a Machine-Checked Proof –Robert Pollack — 1996 — Proceedings of a Congress held in
How to Believe a Machine-Checked Proof –Robert Pollack — 1996