From the Universality of Mathematical Truth to the Interoperability of Proof Systems.

Gilles Dowek

Browse the full CADE paper archive.