Popular repositories Loading

1. nominal-sets nominal-sets Public

   Agda 4 1

2. equ equ Public

   Chequeador de demostraciones de lógica ecuacional

   Haskell 2 1

3. yahc yahc Public

   yahc is a checker for derivations of propositional calculus. Its main goal is to help first year students.

   Haskell 1

4. universal-algebra universal-algebra Public

   Formalization of Universal Algebra

   Agda 1 1

5. ordered ordered Public

   Poset typeclass for Haskell

   Haskell 2

6. agda-universal-algebra agda-universal-algebra Public

   Forked from manugunther/agda-universal-algebra

   Formalization of Universal Algebra in Agda

   Agda