Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 31 million developers.Sign up
A version of the Tree Interaction tab of the Logicamente tool for teaching Logic.
A KE-based Multi-Strategy Tableau Prover
A tableau-based C1 prover originally written by Arthur Buchsbaum (UFSC)
Exemplo de implementação bastante simplificada do Jogo da Velha em Ruby
Some tools for running Logic Dojos