Coq

Coq

Coq er en bevisassistent, som giver dig mulighed for at skrive matematiske bevis på en streng og formel måde og få dem kontrolleret for korrektheden ved computeren.
Coq er en bevisassistent, som giver dig mulighed for at skrive matematiske bevis på en streng og formel måde og få dem kontrolleret for korrektheden ved computeren.Det tillader også programmering med bevis for korrekthed for koden og afhængige typer.
coq

Internet side:

Alternativer til Coq til Linux med kommerciel licens