- Record: found
- Abstract: found
- Article: found
Analyzing Individual Proofs as the Basis of Interoperability between Proof Systems
Preprint
05 December 2017
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
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.
Related collections
Most cited references16
- Record: found
- Abstract: not found
- Article: not found
The calculus of constructions
Thierry Coquand, Gérard Huet (1988)
- Record: found
- Abstract: not found
- Article: not found
A framework for defining logics
Robert Harper, Furio Honsell, Gordon D. Plotkin (1993)
- Record: found
- Abstract: not found
- Book: not found
Subsystems of Second Order Arithmetic
Stephen Simpson (2009)
Author and article information
Comments
Comment on this article
scite_
1
0
0
0
Smart Citations1
0
0
0
Citing PublicationsSupportingMentioningContrasting
See how this article has been cited at scite.ai
scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.