Panel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We?

Robert S. Boyer

Browse the full CADE paper archive.