8000 GitHub - agda/agda at gh-pages
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

agda/agda

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
docs
docs
 
 
.nojekyll
.nojekyll
 
 

About

Agda is a dependently typed programming language / interactive theorem prover.

wiki.portal.chalmers.se/agda/pmwiki.php

Topics

programming-language dependent-types proof-assistant type-theory agda

License

View license
Activity
Custom properties

Stars

2.6k stars

Watchers

65 watching

Forks

369 forks
Report repository

Releases 11

v2.7.0.1 Latest
Sep 12, 2024
+ 10 releases

Packages

No packages published

Contributors 192
+ 178 contributors

Languages
0