LISA -- a modern proof system

DOI10.4230/LIPICS.ITP.2023.17MaRDI QIDQ6642997zbMATH OpenFDO

Authors Simon Guilloud, Sankalp Gambhir, Viktor Kuncak

Publication date 26 November 2024

Full work available at URL https://doi.org/10.4230/LIPICS.ITP.2023.17

zbMATH Keywords

first-order logicproof assistantset theory

Mathematics Subject Classification ID

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

Cited in

(3)

• Mechanized HOL reasoning in set theory
• Interoperability of proof systems with SC-TPTP
• A generic deskolemization strategy

This page was built for publication: LISA -- a modern proof system

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