Agda

Agda is a dependently typed programming language / interactive theorem prover.
Popular Programming Projects
Popular Type Checking Projects
Popular Learning Resources Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Programming
Programming Language
Type Checking
Dependent Types
Type Theory
Proof Assistant