Bruno Lopes (blopesvieira)

blopesvieira

Geek Repo

Company:Universidade Federal Fluminense

Location:Niterói, Brazil

Home Page:http://www.ic.uff.br/~bruno

Github PK Tool:Github PK Tool


Organizations
frame-lab

Bruno Lopes's repositories

TableauxProver

An automatic and semi-automatic theorem prover on Tableaux

Language:LuaStargazers:5Issues:2Issues:0

MoinMoin-Parser-BibTeX2

MoinMoin BibTeX2 Parser

Language:PythonStargazers:4Issues:0Issues:0

SequentProver

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

Language:LuaStargazers:1Issues:0Issues:0
Language:RubyStargazers:0Issues:0Issues:0

Merlin

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

Language:RLicense:MITStargazers:0Issues:0Issues:0

Petri-PDL

First commit: input parser

Language:LuaStargazers:0Issues:0Issues:0