Coq

Coq je pomočnik pri dokazovanju, ki vam omogoča natančno in formalno pisanje matematičnih dokazov in preverjanje pravilnosti računalnika.

Brezplačna
Windows
Mac
Linux

Coq je pomočnik pri dokazovanju, ki vam omogoča natančno in formalno pisanje matematičnih dokazov in preverjanje pravilnosti računalnika.Prav tako omogoča programiranje z dokazili o pravilnosti kode in odvisnih vrst.

Spletna stran:

https://coq.inria.fr/

Kategorije

Izobraževanje in reference

Alternativa Coqu za Mac s komercialno licenco