Coq

Coq je asistent kontroly, který vám umožňuje psát matematické důkazy přísným a formálním způsobem a nechat je zkontrolovat jejich správnost počítačem.

Zdarma
Windows
Mac
Linux

Coq je asistent kontroly, který vám umožňuje psát matematické důkazy přísným a formálním způsobem a nechat je zkontrolovat jejich správnost počítačem.Umožňuje také programování s důkazy o správnosti kódu a závislých typů.

Webová stránka:

https://coq.inria.fr/

Kategorie

Vzdělávání a reference

Alternativy k Coq pro Windows s komerční licencí