Pinned Repositories
CPL-Prover
Merlin
Merlin is an environment for modelling and reasoning about multi-agent systems.
MoinMoin-Parser-BibTeX2
MoinMoin BibTeX2 Parser
Petri-PDL
First commit: input parser
SequentProver
Engine Gráfica para grafos + Logica de calculo de sequentes
TableauxProver
An automatic and semi-automatic theorem prover on Tableaux
LSFA20
LSFA20 site
CACoq
ReoLaTeX
LaTeX package for drawing Reo connectors
blopesvieira's Repositories
blopesvieira/TableauxProver
An automatic and semi-automatic theorem prover on Tableaux
blopesvieira/MoinMoin-Parser-BibTeX2
MoinMoin BibTeX2 Parser
blopesvieira/SequentProver
Engine Gráfica para grafos + Logica de calculo de sequentes
blopesvieira/CPL-Prover
blopesvieira/Merlin
Merlin is an environment for modelling and reasoning about multi-agent systems.
blopesvieira/Petri-PDL
First commit: input parser