![Coq](https://i.altapps.net/icons/coq-ae922.png)
4
Coq یک دستیار اثبات است که به شما امکان می دهد اثبات های ریاضی را به شکلی دقیق و رسمی بنویسید و درستی را از طریق رایانه درستی داشته باشید.همچنین امکان برنامه نویسی با اثبات صحت کد و انواع وابسته را فراهم می کند.
coq
سایت اینترنتی:
https://coq.inria.fr/دسته بندی ها
گزینه های دیگر برای Coq برای Windows
![F*](https://i.altapps.net/icons/f--9bf8d.png)
3
![Isabelle](https://i.altapps.net/icons/isabelle-d67d.png)
3