ABSFOL: A proof checker with abstraction

DOI10.1007/3-540-61511-3_74zbMath1412.68226OpenAlexW1513879706MaRDI QIDQ4647506

Adolfo Villafiorita, Fausto Giunchiglia

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_74

zbMATH Keywords

inference rulenatural deductionelimination ruleabstract proofcurrent context

Mathematics Subject Classification ID

Related Items (2)

ABSFOL ⋮ Plagiator — A learning prover

Uses Software

• GETFOL

Cites Work

• Prolegomena to a theory of mechanized formal reasoning
• A theory of abstraction

This page was built for publication: ABSFOL: A proof checker with abstraction