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

Coqtail

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

COQ Teoremleri, Soyutlamalar ve Uygulamalar (lisans Düzeyi) Coqtail Coq proof asistanı kullanarak matematiksel kanıtların bir kütüphane.

sürüm geçmişi

  • Sürüm files tarihinde gönderildi 2010-04-07
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm N/A tarihinde gönderildi 2010-04-07

Program Detayları

İlgili Programlar

  • Triplets / Triple Ücret -siz

    Ce logiciel recherche tous les triplets pisagorriciens que l'on peut eski avec un nombre allant de 1 999999999. / Bu yazılım 1'den 999999999'a kadar değişen bir sayıyla oluşturabileceğimiz tüm Pisagor üçlüslerini arar.

  • FunnyRobot Platform Ücret -siz

    FunnyRobot projesi USB üzerinden programlanabilir bir eğitim robot denetleyicisi tasarlar. Hem donanım hem de yazılım yapılandırılabilir ve genişletilebilir. Kullanıcılar C++ kitaplığı içeren programlar oluşturabilir ve bunla

  • Merriam-Webster s Unabridged Ücretsiz Deneme

    Merriam-Webster Üçüncü Yeni Uluslararası Sözlük, Unabridged - Amerika'nın en kapsamlı sözlük.------------Sözlük Detayları:• 257.244'ün üzerinde giriş ve 700.000 tanım• kelime kökenini açıklayan 143.000 e

  • Madagascar Ücret -siz

    Madagaskar jeofizik veri işleme ve tekrarlanabilir sayısal deneyler için bir yazılım paketidir. Paket misyonu, dijital görüntü ve veri işleme ile çalışan araştırmacılar için uygun bir ortam sağlamaktır.

  • Parable NKJV Ücret -siz

    ÜCRETSİz: Tüm Gospel John (2 saat, 14 dakika) Lou Gossett, Jr John olarak featuring. İstediğiniz zaman Parable NKJV Old & New Testament için tam ses satın alabilirsiniz veya tek tek kitap satın alabilirsiniz. Kıssa dan Sı

  • LibreEngineering Ücret -siz

    LibreEngineering - enstrümantasyon, elektrik, mekanik, proses mühendisliği hesaplama ve tasarım programları ve diğer araçlar paketi. GPL3 lisansı altında lisanslı. Qt araç seti ile Python yazılmıştır.

  • AVR Attiny26 Visual Programmer Ücret -siz

    Montaj ı söndürmek, hexedecimal'a monte etmek ve sezgisel bir arayüze (Tekbots-OSU) sahip donanıma yüklemek için Attiny26 mikrodenetleyicisi için görsel GUI programcısı.

  • GRE Mnemonics Wordlist Lite Ücret -siz

    -------------------Lütfen bize bu uygulamayı geliştirmek için bu anketi tamamlamak.http://goo.gl/xwyyCX-------------------GRE, CAT, PSAT, SAT, LSAT, GED, ESL, GMAT, ACT, MCAT, TOEFL, IELTS, PCAT, OAT ve daha birçok

  • Asmaul Husna Ücret -siz

    Allah'ın 99 Ismi veya 99 Allah'ın Adı, Müslümanların Allah'a (Allah'a) ve Kuran'da ve Sünnet'te anlatılan ve diğer yerlerde anlatılan Allah'ın isimleridir.

  • Doxygen filters Ücret -siz

    Bu programlama dilleri için Doxygen filtreleri: GNU'dan R, kx.com'dan q, MathWorks'ten MatLab. Bu programlar C++'da Flex++ kullanılarak uygulanır. Bunlar tam satır kaynakları sadece işlev tanımları sağlar.