Rocq

The Rocq Prover
Basisdaten
Entwickler TypiCal
Erscheinungsjahr 1. Mai 1989
Aktuelle Version 9.1.0
(15. September 2025)
Betriebssystem Plattformunabhängig
Programmier­sprache Objective CAML, C
Kategorie Maschinengestütztes Beweisen
Lizenz LGPL (Freie Software)
rocq-prover.org

Rocq (früher "Coq") ist eine freie Software zum maschinengestützten Beweisen mathematischer Aussagen.

  1. ↑ Rocq 9.1.0. 15. September 2025.
  2. ↑ The Coq proof assistant Open Source Project on Open Hub: Languages Page. In: Open Hub. (abgerufen am 18. Juli 2018).
Dieser Artikel wurde von Wikipedia herausgegeben. Der Text ist unter Creative Commons Attribution-Share Alike 4.0 verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.