A generic graphic framework for combining inference tools and editing proofs and formulae

DOI10.1006/jsco.1995.1013zbMath0836.68106OpenAlexW1969922231MaRDI QIDQ1895412

Ricardo Caferra, Michel Herment

Publication date: 11 April 1996

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1995.1013

zbMATH Keywords

editinginference toolscalculus of constructionchecking proofs

Mathematics Subject Classification ID

Related Items (1)

A Shell for Generic Interactive Proof Search

Uses Software

• Coq
• Mathematica
• OTTER
• Nuprl

This page was built for publication: A generic graphic framework for combining inference tools and editing proofs and formulae