Gilles Dowek (Inria and École Normale Supérieure de Paris-Saclay) |
We describe the first results of a project of analyzing in which theories formal proofs can be ex- pressed. We use this analysis as the basis of interoperability between proof systems. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.262.1 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |