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.

Bezplatná
Windows
Mac
Linux

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.

WebSite:

https://coq.inria.fr/

Kategórie

Vzdelávanie a referencie

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