agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

Krihelimeter Krihelimeter 176 176

GitHub Haskell Get Krihelimeter badge
0
Authors
0
Commits
0
Merged Pull Requests
0
Proposed Pull Requests
10
Closed Issues
12
New Issues