a
Repositories
Select a repository to view its commits, contributors, and more.public
fotc
Agda formalisation of FOTC (First-Order Theory of Combinators).
Agda
11
2
0
Updated a year ago
public
dtfl
Agda code for the course 'Dependently Tped Functional Languages - 2011-1'
Agda
7
2
0
Updated a year ago
public
apia
Haskell program for proving first-order theorems written in Agda using automatic theorem provers for first-order logic
Haskell
6
0
15
Updated 2 years ago
public
pdfname
Name a PDF file using information from the `pdfinfo` command
Haskell
3
0
0
Updated 3 months ago
public
tm-coinduction
Coq
2
0
0
Updated 7 years ago
public
st0244-pl
C++
1
0
0
Updated 2 months ago
public
logic-cm0845
HTML
0
0
0
Updated 5 years ago
public
pygments-custom-agda
This is a plugin for the Agda Lexer of Pygments
HTML
0
0
0
Updated 6 years ago
public
agda2atp
The agda2atp program was renamed Apia.
0
0
0
Updated 9 years ago
public
alga
Agda
0
0
0
Updated 7 years ago
public
my-agda-stdlib
This isn't the "official" Agda standard library repository. Please don't submit pull request.
Agda
0
0
0
Updated 7 years ago
public
ltc-plpv-2009
This repository is obsolete. See the fotc repository instead.
0
0
0
Updated 11 years ago