Agda è un sistema per lo sviluppo incrementale di dimostrazioni e programmi. E' il progetto sourceforge per l'Agda precedente (Agda 1). Una versione più recente di Agda (Agda 2) nei test beta è disponibile presso: http://wiki.portal.chalmers.se/agda/
cronologia delle versioni
- Versione 1.0.2 pubblicato il 2008-04-23
Diverse correzioni e aggiornamenti - Versione 1.0.2 pubblicato il 2008-04-23
Dettagli del programma
- Categoria: Istruzione > Altro
- Editore: unit.aist.go.jp/cvs/Agda/
- Licenza: Gratuito
- Prezzo: N/A
- Versione: 1.0.2
- Piattaforma: windows