Agda 1 1.0.2
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 5.0/5 - 1 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O Agda 1
Agda to system stopniowego opracowywania dowodów i programów. Jest to projekt sourceforge dla POPRZEDNIEJ Agda (Agda 1). Nowsza wersja agda (Agda 2) w wersji beta jest dostępna od: http://wiki.portal.chalmers.se/agda/