Popular repositories Loading

1. TableauxProver TableauxProver Public

   An automatic and semi-automatic theorem prover on Tableaux

   Lua 6 3

2. MoinMoin-Parser-BibTeX2 MoinMoin-Parser-BibTeX2 Public

   MoinMoin BibTeX2 Parser

   Python 4 1

3. SequentProver SequentProver Public

   Forked from VitorPinheiro/SequentProver

   Engine Gráfica para grafos + Logica de calculo de sequentes

   Lua 1

4. Petri-PDL Petri-PDL Public

   First commit: input parser

   Lua

5. Merlin Merlin Public

   Merlin is an environment for modelling and reasoning about multi-agent systems.

   R

6. CPL-Prover CPL-Prover Public

   Forked from mathenes/projeto_final

   Ruby