Skip to content
Sections
>> Trisquel >> Balíky >> etiona >> ocaml >> libcoq-ocaml
etiona  ] [  nabia  ]
[ Zdroj: coq  ]

Balík: libcoq-ocaml (8.6-5build1)

Odkazy pre libcoq-ocaml

libcoq-ocaml

Zdroje Trisquel:

Stiahnuť zdrojový balík coq:

Správca:

Original Maintainers:

  • Debian OCaml Maintainers (Konferencia)
  • Ralf Treinen
  • Samuel Mimram
  • Stéphane Glondu
  • Enrico Tassi

Externé zdroje:

Podobné balíky:

runtime libraries for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides runtime libraries for Coq.

Ostatné balíky súvisiace s balíkom libcoq-ocaml

  • závisí
  • odporúča
  • navrhuje

Stiahnuť libcoq-ocaml

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 3,481.1 kB15197 kB [zoznam súborov]
i386 3,314.6 kB13906 kB [zoznam súborov]