Coq

Coq

Coq je pomočnik pri dokazovanju, ki vam omogoča natančno in formalno pisanje matematičnih dokazov in preverjanje pravilnosti računalnika.
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.
coq

Spletna stran:

Alternativa Coqu za Windows z licenco odprtokodnega vira