daviromero

Pinned Repositories

anita
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
Language:Python20 1 00
automaton2bpmn
Automaton2bpmn is a library for converting automata (teocomp package) to bpmn.
Language:Python1 1 00
logic4py
Logic4py is a library for teaching logic
Language:Jupyter Notebook10 1 00
nadia
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
Language:Python29 1 00
teocomp
TeoComp é uma biblioteca em Python com os conceitos utilizados nas disciplina de Linguagens Formais e Autômatos e Teoria da Computação
Language:Jupyter Notebook4 1 00

daviromero's Repositories

daviromero/nadia
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
Language:Python29 1 00
daviromero/anita
Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
Language:Python20 1 00
daviromero/logic4py
Logic4py is a library for teaching logic
Language:Jupyter Notebook10 1 00
daviromero/teocomp
TeoComp é uma biblioteca em Python com os conceitos utilizados nas disciplina de Linguagens Formais e Autômatos e Teoria da Computação
Language:Jupyter Notebook4 1 00
daviromero/automaton2bpmn
Automaton2bpmn is a library for converting automata (teocomp package) to bpmn.
Language:Python1 1 00