Skip to content
Sections
>> Trisquel >> Balíky >> etiona >> math >> coq
[  etiona  ] [  nabia  ] [  aramo  ]
[ Zdroj: coq  ]

Balík: coq (8.6-5build1)

Odkazy pre coq

coq

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:

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

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 coqtop, a command line interface to Coq.

A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.

Ostatné balíky súvisiace s balíkom coq

  • závisí
  • odporúča
  • navrhuje
  • rec: coqide
    proof assistant for higher-order logic (gtk interface)
    alebo proofgeneral
    generic frontend for proof assistants
  • sug: coq-doc
    Balík nie je dostupný
  • sug: ledit
    line editor for interactive programs
    alebo readline-editor
    virtuálny balík poskytovaný balíkom ledit, rlfe, rlwrap
  • sug: libcoq-ocaml-dev
    development libraries and tools for Coq
  • sug: ocaml-nox
    ML implementation with a class-based object system (no X)
  • sug: proofgeneral
    generic frontend for proof assistants
  • sug: why (>= 2.19)
    Software verification tool for C and Java

Stiahnuť coq

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
i386 16,551.3 kB65843 kB [zoznam súborov]