Description
Develops and checks programs and proofs in Agda, a dependently typed functional language and proof assistant. It is useful for formal methods, programming language research, and verified software experiments.
This is a development language environment, not an end-user application. The git build may change behavior, so pin versions for courses, papers, or reproducible proof projects.