Other stuff

Tableaux theorem prover

A web implementation of an interactive theorem prover based on the method of semantic tableaux.

Lost Cities

An implementation of a short but adictive two-player card game.

HsTZAAR

An implementation of the abstract strategy game TZAAR.


Pedro Vasconcelos, pbv at dcc dot fc dot up dot pt
Departamento de Ciência de Computadores
Faculdade de Ciências da Universidade do Porto