Columbo aufrufen.opam zum Wurzelverzeichnis wechselnHaskell {Haskell[119] CS[285] Ada[404]}Datei anzeigen
synopsis: "The Coq Proof Assistant"
description: """
Coq is a formal proof management system. It provides
a formal language to write mathematical definitions, executable
algorithms and theorems together with an environment for
semi-interactive development of machine-checked proofs.
This package provides the `coqidetop` language server, an
implementation of Coq's [XML protocol](https://github.com/coq/coq/blob/master/dev/doc/xml-protocol.md)
which allows clients, such as CoqIDE, to interact with Coq in a
structured way.
"""
opam-version: "2.0"
maintainer: "The Coq development team "
authors: "The Coq development team, INRIA, CNRS, and contributors."
homepage: "https://coq.inria.fr/"
bug-reports: "https://github.com/coq/coq/issues"
dev-repo: "git+https://github.com/coq/coq.git"
license: "LGPL-2.1"
depends: [
"dune" { build & >= "1.6.0" }
"coq" { = version }
]
build: [ [ "dune" "build" "-p" name "-j" jobs ] ]
[ Original von:0.82Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen.
Man kann per Verzeichnistruktur darin navigieren.
Der Code wird farblich markiert angezeigt.
]
