Bruno Lopes's repositories
TableauxProver
An automatic and semi-automatic theorem prover on Tableaux
MoinMoin-Parser-BibTeX2
MoinMoin BibTeX2 Parser
SequentProver
Engine Gráfica para grafos + Logica de calculo de sequentes
Language:Ruby000
Merlin
Merlin is an environment for modelling and reasoning about multi-agent systems.
Language:RMIT000
Petri-PDL
First commit: input parser
Language:Lua000