123
Coq

Coq

Coq یک دستیار اثبات است که به شما امکان می دهد اثبات های ریاضی را با روشی دقیق و رسمی بنویسید ، و آنها را در مورد صحت توسط رایانه بررسی کنید.
Coq یک دستیار اثبات است که به شما امکان می دهد اثبات های ریاضی را به شکلی دقیق و رسمی بنویسید و درستی را از طریق رایانه درستی داشته باشید.همچنین امکان برنامه نویسی با اثبات صحت کد و انواع وابسته را فراهم می کند.

سایت اینترنتی:

دسته بندی ها

گزینه های Coq برای Linux با مجوز تجاری