Agda 1 1.0.2
Licentie: Gratis Bestandsgrootte: N/A
Gebruikersbeoordeling: 5.0/5 - 1 Stemmen
Een ogenblik geduld... Uw downloadlink wordt geverifieerd op schadelijke inhoud.
Je het binnen 5 seconden downloaden.
Je het binnen 5 seconden downloaden.
Over Agda 1
Agda is een systeem voor het stapsgewijs ontwikkelen van bewijzen en programma's. Dit is het sourceforge project voor de VORIGE Agda (Agda 1). Een nieuwere versie van Agda (Agda 2) in beta testen is beschikbaar bij: http://wiki.portal.chalmers.se/agda/