Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. Agda 1

Agda 1 1.0.2

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 5.0/5 - ‎1 ‎Oy
Indir

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/

sürüm geçmişi

  • Sürüm 1.0.2 tarihinde gönderildi 2008-04-23
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm 1.0.2 tarihinde gönderildi 2008-04-23

Program Detayları

İlgili Programlar

  • Survival Medicine Guide Ücretsiz Deneme

    "Ücretsiz Adobe Reader Gerektirir"********Bu bir hayatta kalma tıbbı rehberi. Bu herhangi bir iyi hayatta kalma kılavuzu için büyük bir iltifat olduğunu. Bu bilgiler, ihtiyacınız olduğunda kullanılamayabilir. Hemen al ve

  • terz Ücret -siz

    Terz inanılmaz AutoTagger otomatik bir Ses Dosyası Tagger ve Dosya Renamer olduğunu. Musicbrainz tarafından sağlanan bilgileri kullanır. Bağlam bilgilerini kullanarak Terz çok iyi sonuçlar elde eder. Diğer özellikler: eksik a

  • Lua ODE Ücret -siz

    Lua ODE, Windoze, OS X ve Linux platformları için Lua dili için OpenDE'nin bağlayıcılarıdır.

  • assistent-fah Ücret -siz

    Folding@home için yardımcı istemci günlüğüne göre dağıtılmış Folding@home bilgi işlem projesinde bilgisayarınızın ortalama hızını hesaplamak.Folding@home'in yardımcı kuruluşu GNU Genel Kamu Lisansı kapsamında lisanslanmıştı

  • Spanish Tester Lite Ücretsiz Deneme

    Spanish Tester Pro, simüle edilmiş test soruları oluşturarak sizi İspanyolca fiil çekimleri ve konuşma bölümleri arasındaki anlaşma üzerine test eder.Çoktan seçmeli ve boşluk doldurma soruları aşağıdaki 15 fiil formunda b

  • IRBEM-LIB Ücret -siz

    IRBEM-LIB, Dünya'nın manyetik alanında herhangi bir yer için manyetik koordinatları hesaplamak, koordinat dönüşümleri gerçekleştirmek, jeofizik/uzay fiziği modellerini değerlendirmek ve yörüngeleri zaman içinde yaymak için ru

  • libTopo Ücret -siz

    libTopo ve TopoMap, ETOPO2, ETOPO5 ve GLOBE gibi topografya haritalarını kullanmak, dönüştürmek, analiz etmek ve görüntülemek için araçlardır. TopoMap ham veri, görüntü, vb topografya veritabanları dönüştürmek için komut satı

  • Nanodesigner Ücret -siz

    Nanodesigner moleküler nanoteknoloji üzerine araştırma için bir yazılım platformudur. Bu bir plug-in mimarisi vardır ve moleküler görselleştirme ve modelleme, karmaşık yeni moleküllerin tasarımı, moleküler dinamikleri için ar

  • Analysis & Reconstruction Sound Ücret -siz

    Analysis & Reconstruction Sound Engine bir ses dosyasını bir spektrograma dönüştürür ve bu spektrogramı veya kullanıcı tarafından oluşturulan herhangi bir görüntüyü tekrar bir sese sentezleyebilir.

  • G200X Motion controller Ücret -siz

    Geckodrive G200X hareket kontrol cihazı için firmware ve GUI kodu