» Ubuntu » Paketler » cosmic (18.10) » math » coq
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Kaynak: coq  ]

Paket: coq (8.6-5build1) [universe]

coq için bağlantılar

Screenshot

Ubuntu Kaynakları:

coq Kaynak Paketini İndir:

Geliştirici:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Posta Arşivi)
  • Ralf Treinen
  • Samuel Mimram
  • Stéphane Glondu
  • Enrico Tassi

It should generally not be necessary for users to contact the original maintainer.

Dış Kaynaklar:

Benzer paketler:

proof assistant for higher-order logic (toplevel and compiler)

coq ile İlgili Diğer Paketler

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances
  • rec: coqide
    proof assistant for higher-order logic (gtk interface)
    ya da proofgeneral
    generic frontend for proof assistants

coq indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 17.259,6 kB72.587,0 kB [dosya listesi]