agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
Developer Profile
agda
Discovered public repositories for agda in the GitHub catalog.
agda/tasty-silver
A fancy test runner for tasty and support for golden tests.
agda/agda-stdlib
The Agda standard library
agda/agda-finite-prover
Library for proving propositions quantified over finite sets