agda
★ 2,952agda
Agda is a dependently typed programming language / interactive theorem prover.
HYSEN LABS DIRECTORY
agda
Verified repositories, classifications and analysis from the agda organization.
3 curated open-source projects
agda
★ 677agda-stdlib
The Agda standard library
agda
★ 573cubical
An experimental library for Cubical Agda