Pinned Loading

1. LFI1_Library LFI1_Library Public

   Coq

2. HS HS Public

   Just sum Haskell and C dump for fun

   C

3. Type_Inferer Type_Inferer Public

   Inferidor de tipos escrito em Haskell, utilizando a biblioteca de combinadores monádicos de parser Parsec.

   Haskell

4. babireski/coisas babireski/coisas Public

   Alguns trabalhos de complexidade de algoritmos

   C

5. Coq Coq Public

   Alguns capítulos do Logical Foundations resolvidos

   HTML

6. n_queen_problem n_queen_problem Public

   SMT