Skip to content
View daviromero's full-sized avatar
17 followers · 0 following
  • Universidade Federal do Ceará

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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 Loading

  1. nadia nadia Public

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

    Python 30 2

  2. anita anita Public

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

    Python 20 2

  3. logic4py logic4py Public

    Logic4py is a library for teaching logic

    Jupyter Notebook 8

  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 5

  5. automaton2bpmn automaton2bpmn Public

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

    Python 1

  6. dados_educacionais dados_educacionais Public

    Jupyter Notebook 1 1