Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Agda 1

Agda 1 1.0.2

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi
Muat turun

Agda adalah satu sistem untuk membangunkan bukti dan program secara tambahan. Ini adalah projek sourceforge untuk Agda SEBELUMnya (Agda 1). Versi baru Agda (Agda 2) dalam ujian beta boleh didapati dari: http://wiki.portal.chalmers.se/agda/

sejarah versi

  • Versi 1.0.2 diposkan pada 2008-04-23
    Beberapa pembaikan dan pengemaskinian
  • Versi 1.0.2 diposkan pada 2008-04-23

Butiran Atur Cara

Atur Cara Berkaitan

  • Survival Medicine Guide Percubaan Percuma

    "Memerlukan Pembaca Adobe Percuma"*Ini adalah panduan perubatan survival sekiranya apa yang kita semua takut benar-benar berlaku. Ini adalah pujian yang besar kepada mana-mana manual survival yang baik. Maklumat ini mungk

  • terz Percuma

    Terz AutoTagger yang luar biasa adalah Penanda Fail Audio automatik dan Renamer Fail. Ia menggunakan maklumat yang disediakan oleh musicbrainz. Dengan menggunakan maklumat konteks Terz mencapai hasil yang sangat baik. Ciri-ci

  • Lua ODE Percuma

    Lua ODE adalah ikatan OpenDE untuk bahasa Lua untuk platform Windoze, OS X, dan Linux.

  • assistent-fah Percuma

    Bantuan untuk Folding@home kelajuan purata komputer anda dalam Folding@home pengkomputeran teragih oleh log pelanggan.Bantuan untuk Folding@home dilesenkan di bawah Lesen Awam Am GNU

  • Spanish Tester Lite Percubaan Percuma

    Penguji Sepanyol Pro menguji anda pada konjugasi kata kerja Sepanyol dan persetujuan antara bahagian ucapan dengan menjana soalan kuiz simulasi.Pelbagai pilihan dan soalan mengisi-dalam-kosong menguji pengetahuan anda pad

  • IRBEM-LIB Percuma

    LHDNEM-LIB menyediakan rutin untuk mengira koordinat magnet untuk mana-mana lokasi dalam bidang magnet Bumi, untuk melaksanakan penukaran koordinat, untuk menilai model geofik/fizik ruang, dan untuk menyebarkan orbit dalam ma

  • libTopo Percuma

    libTopo dan TopoMap adalah alat untuk digunakan, menukar, menganalisis dan memaparkan peta topografi seperti ETOPO2, ETOPO5 dan GLOBE. TopoMap adalah antara muka baris perintah untuk menukar pangkalan data topografi kepada da

  • Nanodesigner Percuma

    Nanodesigner adalah platform perisian untuk penyelidikan mengenai aknoteknologi molekul. Ia mempunyai seni bina plug-in dan akan merangkumi alat untuk visualisasi & pemodelan molekul, reka bentuk molekul baru yang komplek

  • Analysis & Reconstruction Sound Percuma

    Analisis & Pembinaan Semula Sound Engine menganalirkan fail bunyi ke dalam spectrogram dan dapat mensintesiskan spectrogram ini, atau mana-mana imej yang dicipta pengguna lain, kembali ke bunyi.

  • G200X Motion controller Percuma

    Kod firmware dan GUI untuk pengawal gerakan Geckodrive G200X