Coq

Coq

Coq je pomoćnik u ispitivanju koji vam omogućava da pišete matematičke dokaze strogo i formalno i da ih provjerite na ispravnost na računalu.
Coq je pomoćnik u ispitivanju koji vam omogućava da pišete matematičke dokaze strogo i formalno i da ih provjerite na ispravnost na računalu.Također omogućuje programiranje s dokazima ispravnosti koda i ovisnim vrstama.
coq

Web stranica:

Kategorije

Alternativa Coqu za sve platforme s licencom otvorenog koda