Agda 1 1.0.2
Anda dapat mengunduh dalam 5 detik.
Anda juga bisa mengklik Tautan Unduhan Eksternal berikut ini untuk mulai mengunduh:
http://sourceforge.net/projects/agda/files/Agda/1.0.2/Agda-1.0.2a-latin1.tar.gz/download
Tentang Agda 1
Agda adalah sistem untuk mengembangkan bukti dan program secara bertahap. Ini adalah proyek sourceforge untuk Agda sebelumnya (Agda 1). Versi Agda (Agda 2) yang lebih baru dalam pengujian beta tersedia dari: http://wiki.portal.chalmers.se/agda/
Program Terkait
-
Survival Medicine Guide Uji Coba Gratis
"Membutuhkan Pembaca Adobe Gratis"****Ini adalah panduan obat bertahan hidup jika apa yang kita semua takut benar-benar terjadi. Ini adalah pujian besar untuk setiap manual kelangsungan hidup yang baik. Info ini mungkin t
-
terz Gratis
Terz AutoTagger yang luar biasa adalah Tagger File Audio otomatis dan Renamer File. Ini menggunakan informasi yang disediakan oleh musicbrainz. Dengan menggunakan informasi konteks Terz mencapai hasil yang sangat baik. Fitur
-
Lua ODE Gratis
Lua ODE adalah pengikatan OpenDE untuk bahasa Lua untuk platform Windoze, OS X, dan Linux.
-
assistent-fah Gratis
Bantuan untuk Folding@home menghitung kecepatan rata-rata komputer Anda di Folding@home komputasi terdistribusi oleh log klien.Bantuan untuk Folding@home dilisensikan di bawah Lisensi Publik Umum GNU
-
Spanish Tester Lite Uji Coba Gratis
Spanyol Tester Pro menguji Anda pada konjugasi kata kerja Spanyol dan perjanjian antara bagian-bagian pidato dengan menghasilkan pertanyaan kuis simulasi.Pertanyaan pilihan ganda dan isi kosong menguji pengetahuan Anda te
-
IRBEM-LIB Gratis
IRBEM-LIB menyediakan rutinitas untuk menghitung koordinat magnetik untuk setiap lokasi di medan magnet Bumi, untuk melakukan konversi koordinat, untuk mengevaluasi geofisika / model ruang-fisika, dan untuk menyebarkan orbit
-
libTopo Gratis
libTopo dan TopoMap adalah alat untuk menggunakan, mengonversi, menganalisis, dan menampilkan peta topografi seperti ETOPO2, ETOPO5 dan GLOBE. TopoMap adalah antarmuka baris perintah untuk mengonversi database topografi ke da
-
Nanodesigner Gratis
Nanodesigner adalah platform perangkat lunak untuk penelitian nanoteknologi molekuler. Ini memiliki arsitektur plug-in dan akan mencakup alat untuk visualisasi molekul & pemodelan, desain molekul baru yang kompleks, dinam
-
Analysis & Reconstruction Sound Gratis
Mesin Suara Analisis & Rekonstruksi menganalisis file suara ke dalam spektrogram dan mampu mensintesis spektrogram ini, atau gambar yang dibuat pengguna lainnya, kembali ke suara.
-
G200X Motion controller Gratis
Kode firmware dan GUI untuk pengontrol gerakan Geckodrive G200X