Popular repositories Loading

1. Axiomatization-Verifier Axiomatization-Verifier Public

   Projeto desenvolvido por meio de colaboração entre Juan Monteiro e Anne Caroline, na linguagem Python. Consiste em um verificador de provas do método axiomático, com inclusão de verificação de uso …

   Python 1

2. SAT-Solvers SAT-Solvers Public

   Jupyter Notebook 1

3. ToDoList ToDoList Public

   Kotlin 1

4. Logicproof Logicproof Public

   TeX 1

5. Agencia-de-Rodoviaria Agencia-de-Rodoviaria Public

   Projeto desenvolvido na linguagem Java, consiste em um sistema que simula a compra, venda e alterações de passagens em uma rodoviária.

   Java

6. Cinema Cinema Public

   Projeto desenvolvido na linguagem Java com interface gráfica.

   Java