adolfont

Adolfo Neto's repositories

A tableau-based C1 prover originally written by Arthur Buchsbaum (UFSC)

200

Exemplo de implementação bastante simplificada do Jogo da Velha em Ruby

Language:Ruby200

Some tools for running Logic Dojos

Language:Python200

A package for representing logical systems in Java

100

Small programs for Logic written in Lua

Language:Lua100

KEMS for Multi-Valued Logics

Language:Java100

Datasets about CAPES Qualis (Rank of Academic Journals)

100

Language:Shell100