123
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.

İnternet sitesi:

Kategoriler

Ücretsiz lisanslı Mac için Coq alternatifleri