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 za Coq za vse platforme s komercialno licenco