Skip to content
View daviromero's full-sized avatar
15 followers · 0 following
Block or Report

Block or report daviromero

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. nadia nadia Public

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

    Python 28

  2. anita anita Public

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

    Python 20

  3. logic4py logic4py Public

    Logic4py is a library for teaching logic

    Jupyter Notebook 10

  4. teocomp teocomp Public

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

    Jupyter Notebook 4

  5. automaton2bpmn automaton2bpmn Public

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

    Python 1