 | AgdaGratis en Open Source Interactive Proof Editor voor uw Mac |
| Download nu | |
Agda Rangschikking & Samenvatting
Advertentie
- Vergunning:
- Freeware
- Prijs:
- FREE
- Naam uitgever:
- Agda Team
- Uitgever website:
- http://unit.aist.go.jp/cvs/Agda/
- Besturingssystemen:
- Mac OS X
- Bestandsgrootte:
- 7.8 MB
Agda Tags
Agda Beschrijving
Gratis en Open Source Interactive Proof Editor voor uw Mac AGDA is een interactieve bestendige editor of proefassistent. AGDA is een systeem voor incrementeel ontwikkelende programma's en bewijzen.note: Agda heeft een vergunning en gedistribueerd en gedistribueerd onder de voorwaarden van de MIT-licentie.
Agda Gerelateerde software
Elif
Ruby Development-module die u zal helpen bij het lezen van een bestandslijn per regel in omgekeerde volgorde ...
21 KB
Mengeling
Ontwikkelingsoplossing die u zal helpen Mixins op te schrijven op dezelfde manier waarop u klassen schrijft ...
10 KB
Neiging
Open Source Framework ontwikkeld in Ruby, dat helpt u gemakkelijk meer tests toe te voegen aan uw test :: Unit Test Cases. ...
6 KB
