Skip to content
Sections
>> Trisquel >> Paketit >> nabia >> math >> coq
[  etiona  ] [  nabia  ] [  aramo  ]
[ Source: coq  ]

Paketti: coq (8.11.0-1)

Links for coq

coq

Trisquel-palvelut:

Imuroi lähdekoodipaketti coq:

Ylläpitäjä:

Original Maintainers:

  • Debian OCaml Maintainers (Mail Archive)
  • Benjamin Barenblat
  • Ralf Treinen
  • Stéphane Glondu
  • Enrico Tassi

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin coq liittyvät paketit

  • depends
  • recommends
  • suggests
  • sug: coq-doc
    Paketti ei saatavilla
  • sug: coqide
    proof assistant for higher-order logic (gtk interface)
    tai proofgeneral
    generic frontend for proof assistants
  • sug: ledit
    line editor for interactive programs
    tai readline-editor
    näennäispaketti, jonka toteuttaa ledit, rlfe, rlwrap
  • sug: libcoq-ocaml-dev
    development libraries and tools for Coq
  • sug: why (>= 2.19)
    Paketti ei saatavilla

Imuroi coq

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 74,789.0 kt317436 kt [tiedostoluettelo]