LeanT A P: Lean tableau-based theorem proving
From MaRDI portal
Publication:5210813
DOI10.1007/3-540-58156-1_62zbMath1433.68534MaRDI QIDQ5210813
Bernhard Beckert, Joachim Posegga
Publication date: 21 January 2020
Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-58156-1_62
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
ileanTAP: An intuitionistic theorem prover, Efficient model generation through compilation., leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions)
Uses Software
Cites Work