Popular repositories Loading

1. Skeptik Skeptik Public

   Forked from Paradoxika/Skeptik

   A library for Proof Theory (especially Proof Compression) in Scala.

   SMT 2

2. SciVi SciVi Public

   My assembler x86 final project for Computer Arquitecture course.

3. FChess FChess Public

   FChess is a simple chess game with a text interface. It need many improvements, made for fun.

4. FOLATP FOLATP Public

   First Order Logic Automated Theorem Prover

   Haskell

5. Machine-Learning Machine-Learning Public

   Código relacionado a la materia Machine Learning

   C

6. fermat-documentation fermat-documentation Public

   3