Popular repositories Loading

1. fotc fotc Public

   Agda formalisation of FOTC (First-Order Theory of Combinators).

   Agda 11 2

2. dtfl dtfl Public

   Agda code for the course 'Dependently Tped Functional Languages - 2011-1'

   Agda 7 2

3. apia apia Public

   Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic

   Haskell 6

4. pdfname pdfname Public

   Name a PDF file using information from the `pdfinfo` command

   Haskell 3

5. tm-coinduction tm-coinduction Public

   Coq 2

6. st0244-pl st0244-pl Public

   C++ 1