LeanT A P: Lean tableau-based theorem proving

DOI10.1007/3-540-58156-1_62zbMath1433.68534OpenAlexW1652556981MaRDI 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

Mathematics Subject Classification ID

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

Related Items (3)

ileanTAP: An intuitionistic theorem prover ⋮ leanCoP 2.0 and ileanCoP 1.2: High Performance Lean Theorem Proving in Classical and Intuitionistic Logic (System Descriptions) ⋮ Efficient model generation through compilation.

Uses Software

• SATCHMO
• leanTAP
• 3TAP

Cites Work

• Seventy-five problems for testing automatic theorem provers
• lean\(T^ AP\): Lean tableau-based deduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: LeanT A P: Lean tableau-based theorem proving