IMPS: An updated system description

DOI10.1007/3-540-61511-3_94MaRDI QIDQ4647527zbMATH OpenOpenAlexFDO

Authors William M. Farmer, Joshua D. Guttman, F. Javier Thayer Fábrega

Publication date 15 January 2019

Published in Automated Deduction — Cade-13 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61511-3_94

zbMATH Keywords

automated deductionpartial functionproof systemsequent calculustheory interpretation

Mathematics Subject Classification ID

Cites work

• A partial functions version of Church's simple theory of types
• A set theory with support for partial functions
• A simple type theory with partial functions and subtypes
• Contexts in mathematical reasoning and computation
• IMPS: An interactive mathematical proof system
• IMPS: An updated system description
• Inference rules using local contexts
• Proof script pragmatics in IMPS

Cited in

(4)

• Incorporating quotation and evaluation into Church's type theory
• IMPS: An updated system description
• Panoptes: an exploration tool for formal proofs
• Proof script pragmatics in IMPS

Describes a project that uses

Uses Software

• IMPS

This page was built for publication: IMPS: An updated system description

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