Coq

Coq

Coq ist ein Proof-Assistent, mit dem Sie mathematische Beweise streng und formal schreiben und vom Computer auf ihre Richtigkeit überprüfen lassen können.
Coq ist ein Proof-Assistent, mit dem Sie mathematische Beweise streng und formal schreiben und vom Computer auf ihre Richtigkeit überprüfen lassen können.Es ermöglicht auch die Programmierung mit Korrektheitsnachweisen für den Code und abhängigen Typen.
coq

Webseite:

Kategorien

Alternativen zu Coq für alle Plattformen mit kommerzieller Lizenz