Agda 1 1.0.2
Lisans: Ücret -siz Dosya boyutu: N/A
Kullanıcı Derecelendirmesi: 5.0/5 - 1 Oy
Lütfen bekleyin... İndirme bağlantınız kötü amaçlı içerik için doğrulanıyor.
5 saniye içinde indirebilirsiniz.
5 saniye içinde indirebilirsiniz.
Hakkı -nda Agda 1
Agda, kanıt ve programları kademeli olarak geliştirmek için bir sistemdir. Bu, ÖNCEKİ Agda'nın (Agda 1) kaynak forge projesidir. Agda'nın (Agda 2) beta testinde daha yeni bir sürümü mevcuttur: http://wiki.portal.chalmers.se/agda/