Coq

matematiksel tanımları yazmak için resmi bir dil sağlar.
Şimdi İndirin

Coq Sıralama ve Özet

Reklamcılık

  • Rating:
  • Lisans:
  • Freeware
  • Yayıncı adı:
  • Coq Development Team
  • İşletim sistemleri:
  • Windows
  • Dosya boyutu:
  • 53.7 MB

Coq Etiketler


Coq Açıklama

Coq resmi bir kanıt yönetim sistemidir. Matematiksel tanımları, yürütülebilir algoritmaları ve teoremleri, makine kontrollü kanıtlarının yarı-interaktif gelişimi için bir ortamla birlikte yazmak için resmi bir dil sağlar. Tipik uygulamalar, programlama dillerinin semantiklerinin formalizasyonunu, matematiğin ve öğretmenin formalizasyonunu içerir. Deneyiminizi paylaşın: Bu program hakkında bir değerlendirme yazın.


Coq İlgili Yazılım

Java alt editörü

SRT dosyalarını yeniden ayarlamak ve düzenlemek için tasarlanmış bir kullanıcı dostu bir uygulama. ...

252 21 KB

İndirmek

Quicktac

Bir çizim tabanı olarak noktalar kullanan MS boyasına benzer bir grafik çizim yazılımı. ...

83 2.4 MB

İndirmek

Hakkımızda