adolfont/KEMS2
Second version of KEMS
Developer Profile
adolfont
Discovered public repositories for adolfont in the GitHub catalog.
adolfont/qualis
Datasets about CAPES Qualis (Rank of Academic Journals)
adolfont/Dojo-UTFPR
Coding Dojos at UTFPR
adolfont/Logic-Dojo
Some tools for running Logic Dojos
adolfont/LearningProgramming
Learning Programming Languages
adolfont/txt2tags_latex_tests
txt2tags_latex_tests
adolfont/JogoDaVelha
Exemplo de implementação bastante simplificada do Jogo da Velha em Ruby
adolfont/Logicamente-UTFPR
A version of the Tree Interaction tab of the Logicamente tool for teaching Logic.
adolfont/MV-KEMS
KEMS for Multi-Valued Logics
adolfont/Logic-in-Computing
Material for "Logic in Computing"
adolfont/logic-in-lua
Small programs for Logic written in Lua
adolfont/Util
Alguns utilitários
adolfont/KEMS
A KE-based Multi-Strategy Tableau Prover
adolfont/java-logic-package
A package for representing logical systems in Java
adolfont/C1-Prover-in-LISP
A tableau-based C1 prover originally written by Arthur Buchsbaum (UFSC)