Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. Agda 1

Agda 1 1.0.2

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 5.0/5 - ‎1 ‎Suara
Download

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/

Riwayat versi

  • Versi 1.0.2 diposting di 2008-04-23
    Beberapa perbaikan dan pembaruan
  • Versi 1.0.2 diposting di 2008-04-23

Detil Program

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