![Coq](https://i.altapps.net/icons/coq-ae922.png)
4
Coq je pomoćnik u ispitivanju koji vam omogućava da pišete matematičke dokaze strogo i formalno i da ih provjerite na ispravnost na računalu.Također omogućuje programiranje s dokazima ispravnosti koda i ovisnim vrstama.
coq
Web stranica:
https://coq.inria.fr/Kategorije
Alternativa Coqu za Linux
![F*](https://i.altapps.net/icons/f--9bf8d.png)
3
![Isabelle](https://i.altapps.net/icons/isabelle-d67d.png)
3