Coq

Coq

Coq je asistentom, ktorý vám umožňuje písať matematické dôkazy dôkladným a formálnym spôsobom a nechať ich skontrolovať ich pomocou počítača.
Coq je asistentom, ktorý vám umožňuje písať matematické dôkazy dôkladným a formálnym spôsobom a nechať ich skontrolovať ich pomocou počítača.Umožňuje tiež programovanie s dôkazmi správnosti kódu a závislých typov.
coq

Alternatívy programu Coq pre Linux s komerčnou licenciou