tcvieira/tableau
Tableau Prover for KD45 and S5 with PTL modal logic
Developer Profile
tcvieira
Discovered public repositories for tcvieira in the GitHub catalog.
tcvieira/BrasilJS
Javascript that shows how to include any kind of info about Brazilian states in a dynamic map.
tcvieira/nsp
needham schroeder public key protocol specification in PROMELA
tcvieira/gdd11
provinha de programação do google developer day 2011
tcvieira/Tijolo
Tijolo Esperto