Alle Optionen
squeeze-backports  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Quellcode: coq  ]

Paket: libcoq-ocaml (8.3.pl3+dfsg-1~bpo60+1) [backports]

Links für libcoq-ocaml

Screenshot

Debian-Ressourcen:

Quellcode-Paket coq herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu libcoq-ocaml

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances

libcoq-ocaml herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
armel 522,2 kB2.304,0 kB [Liste der Dateien]