4
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
Alternativy Coq pro všechny platformy s jakoukoli licencí
3
3