4
Coq یک دستیار اثبات است که به شما امکان می دهد اثبات های ریاضی را به شکلی دقیق و رسمی بنویسید و درستی را از طریق رایانه درستی داشته باشید.همچنین امکان برنامه نویسی با اثبات صحت کد و انواع وابسته را فراهم می کند.
سایت اینترنتی:
https://coq.inria.fr/دسته بندی ها
