Repository

https://github.com/agda/agda.git

Project Slug

agda

Last Built

2 days, 19 hours ago passed

Maintainers

Home Page

http://wiki.portal.chalmers.se/agda/

Badge

Tags

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

Short URLs

agda.readthedocs.io
agda.rtfd.io

Default Version

v2.6.4.3

'latest' Version

master