Coq

Coq

Coq, matematiksel kanıtları titiz ve resmi bir şekilde yazmanıza ve bilgisayar tarafından doğru olup olmadığını kontrol etmenize izin veren bir kanıt asistanıdır.
Coq, matematiksel kanıtları titiz ve resmi bir şekilde yazmanıza ve bilgisayar tarafından doğru olup olmadığını kontrol etmenize izin veren bir kanıt asistanıdır.Ayrıca kod ve bağımlı türler için doğruluk kanıtı ile programlamaya izin verir.
coq

İnternet sitesi:

Kategoriler

Açık kaynak lisanslı tüm platformlar için Coq alternatifleri