daviromero

Results 2 repositories owned by daviromero

nadia

29
Stars
0
Forks
Watchers

Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style

verified publisher icon daviromero

anita

20
Stars
0
Forks
Watchers

Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux

verified publisher icon daviromero