agda/agda


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

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

License: Other

Language: Haskell

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


Project Statistics

Sourcerank 11
Repository Size 96.3 MB
Stars 665
Forks 97
Watchers 51
Open issues 437
Dependencies 2
Contributors 86
Tags 51
Created
Last updated
Last pushed

Top Contributors See all

Andreas Abel Ulf Norell Andrés Sicard-Ramírez Nils Anders Danielsson Jesper Cockx Philipp Hausmann Andrea Vezzosi G. Allais Francesco Mazzoli Fredrik Nordvall Forsberg Dominique Devriese Víctor López Juan Péter Diviánszky Paolo G. Giarrusso Nicolas Pouillard Stevan Andjelkovic Daniel Gustafsson Alan Jeffrey James Chapman Guillaume Brunerie

Packages Referencing this Repo

Agda
Agda is a dependently typed functional programming language: It has inductive families, which are...
Latest release 2.5.4.2 - Updated - 665 stars

Recent Tags See all

v2.5.4.2.20190217 February 17, 2019
v2.5.4.2.20190111 January 15, 2019
v2.5.4.2 October 29, 2018
v2.5.4.1.20181027 October 27, 2018
v2.5.4.1.20181026 October 26, 2018
v2.5.4.1 July 19, 2018
v2.5.4 June 02, 2018
v2.5.3.20180526 May 26, 2018
v2.5.3.20180519 May 19, 2018
v2.5.3 September 08, 2017
v2.5.2.20170816 August 17, 2017
v2.5.2 December 22, 2016
v2.5.1.2.20161216 December 17, 2016
v2.5.1.2 November 25, 2016
v2.5.1.1 June 21, 2016

Interesting Forks See all

WolframKahl/agda
Agda is a dependently typed programming language / interactive theorem prover.
Haskell - Other - Last pushed - 1 stars

Something wrong with this page? Make a suggestion

Last synced: 2018-02-04 12:01:06 UTC

Login to resync this repository