Paket: libcoq-stdlib (8.20.1+dfsg-1 und andere)

Links für libcoq-stdlib

eLxr Patch-Überblick

Quellcode-Paket coq herunterladen:

[coq_8.20.1+dfsg-1.debian.tar.xz]
[coq_8.20.1+dfsg-1.dsc]
[coq_8.20.1+dfsg.orig.tar.xz]

Betreuer:

Debian OCaml Maintainers
Benjamin Barenblat
Julien Puydt
Ralf Treinen
Stéphane Glondu

Externe Ressourcen:

Homepage [coq.inria.fr]

proof assistant for higher-order logic (theories)

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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.

Andere Pakete mit Bezug zu libcoq-stdlib

hängt ab von

empfiehlt

schlägt vor

erweitert

rec: coq

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

libcoq-stdlib herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	8.20.1+dfsg-1+b1	22.975,7 kB	146.164,0 kB	[Liste der Dateien]
arm64	8.20.1+dfsg-1+b1	22.979,9 kB	146.164,0 kB	[Liste der Dateien]