Alle Optionen
bookworm  ] [  sid  ]
[ Quellcode: coq  ]

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

Links für libcoq-stdlib

Screenshot

Debian-Ressourcen:

Quellcode-Paket coq herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

Beweis-Assistent für Logik höherer Ordnung (Theorien)

Coq ist ein Beweis-Assistent für Logik höherer Ordnung. Er ermöglicht die Entwicklung von Computerprogrammen, die konsistent mit ihrer formalen Spezifikation sind. Er wird mittels Objective Caml und Camlp5 entwickelt.

Dieses Paket stellt Theorien bereit, auf deren Basis neue Beweise geführt werden können, einschließlich Theorien für arithmetische und Boole-sche Werte.

Andere Pakete mit Bezug zu libcoq-stdlib

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

libcoq-stdlib herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
amd64 8.16.1+dfsg-1+b1 21.028,0 kB139.787,0 kB [Liste der Dateien]
arm64 8.16.1+dfsg-1+b1 21.028,8 kB139.787,0 kB [Liste der Dateien]
armhf 8.16.1+dfsg-1+b1 21.022,1 kB139.751,0 kB [Liste der Dateien]
i386 8.16.1+dfsg-1+b1 21.025,3 kB139.751,0 kB [Liste der Dateien]
ppc64el 8.16.1+dfsg-1+b1 21.022,7 kB139.787,0 kB [Liste der Dateien]
s390x 8.16.1+dfsg-1+b1 21.019,9 kB139.787,0 kB [Liste der Dateien]