![Coq](https://i.altapps.net/icons/coq-ae922.png)
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ů.
coq
Webová stránka:
https://coq.inria.fr/Kategorie
Alternativy Coq pro Windows
![F*](https://i.altapps.net/icons/f--9bf8d.png)
3
![Isabelle](https://i.altapps.net/icons/isabelle-d67d.png)
3