Alle Optionen
bookworm  ] [  trixie  ] [  sid  ]
[ Quellcode: coq-doc  ]

Paket: coq-doc (8.16.1-1) [non-free]

Links für coq-doc

Screenshot

Debian-Ressourcen:

Quellcode-Paket coq-doc herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

documentation 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 is a dummy package which will install the documentation in html and pdf formats.

Andere Pakete mit Bezug zu coq-doc

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

coq-doc herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 4,8 kB20,0 kB [Liste der Dateien]