![Coq](https://i.altapps.net/icons/coq-ae922.png)
4
Coq е асистент по доказателство, който ви позволява да пишете математически доказателства по строг и официален начин и да ги проверявате за коректност от компютъра.Също така позволява програмиране с доказателства за коректност на кода и зависимите типове.
coq