EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)
EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)
About this item
Full title
Author / Creator
Publisher
Ithaca: Cornell University Library, arXiv.org
Journal title
Language
English
Formats
Publication information
Publisher
Ithaca: Cornell University Library, arXiv.org
Subjects
More information
Scope and Contents
Contents
Proof assistants often call automated theorem provers to prove subgoals. However, each prover has its own proof calculus and the proof traces that it produces often lack many details to build a complete proof. Hence these traces are hard to check and reuse in proof assistants. Dedukti is a proof checker whose proofs can be translated to various pro...
Alternative Titles
Full title
EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_journals_2280881878
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_journals_2280881878
Other Identifiers
E-ISSN
2331-8422
DOI
10.48550/arxiv.1908.09479
