Beast code in Giters

daviromero's repositories

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

Language:PythonMIT29 10

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

Language:PythonMIT20 10

Logic4py is a library for teaching logic

Language:Jupyter NotebookMIT10 10

TeoComp é uma biblioteca em Python com os conceitos utilizados nas disciplina de Linguagens Formais e Autômatos e Teoria da Computação

Language:Jupyter NotebookMIT4 10

Automaton2bpmn is a library for converting automata (teocomp package) to bpmn.

Language:PythonMIT100