10 citations · 10 across the 1 of their papers we have counts for
1 paper · 1 filter
Davi Romero Vasconcelos
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…