Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems

12/05/2017
by   Gilles Dowek, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset