IMPS : An interactive mathematical proof system

DOI10.1007/3-540-52885-7_126MaRDI QIDQ6488577zbMATH OpenFDO

Authors William M. Farmer, Joshua D. Guttman, Francisco Javier Thayer

Publication date 28 April 2023

Full work available at URL https://doi.org/10.1007/3-540-52885-7_126

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• Inference rules using local contexts

Cited in

(1)

• Automating Side Conditions in Formalized Partial Functions

This page was built for publication: IMPS : An interactive mathematical proof system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488577)