01
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
- Stars
- 2.9K
- Forks
- 422
- Pushed
- Unknown
Trending repositories
agda’s trending work
Repositories from this owner that have appeared in GitHub Trending.
Repositories from this owner that have appeared in GitHub Trending.
Agda is a dependently typed programming language / interactive theorem prover.