ANITA: Analytic Tableau Proof Assistant
Davi Romero de Vasconcelos
Abstract
This work presents the system ANITA (Analytic Tableau Proof Assistant) developed for teaching analytic tableaux to computer science students. The tool is written in Python and can be used as a desktop application, or in a web platform. This paper describes the logical system of the tool, explains how the tool is used and compares it to several similar tools. ANITA has already been used in logic courses and an evaluation of the tool is presented.
Topics & Concepts
Python (programming language)Computer scienceProgramming languageProof assistantCalculus (dental)MathematicsMathematical proofGeometryDentistryMedicineLogic, programming, and type systemsParallel Computing and Optimization TechniquesFormal Methods in Verification