Agda 1 1.0.2

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

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