EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract)
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 che...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Artigo |
| Lenguaje: | Inglês |
| Publicado: |
Open Publishing Association
2019-08-01
|
| Colección: | Electronic Proceedings in Theoretical Computer Science |
| Acceso en línea: | http://arxiv.org/pdf/1908.09479v1 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|