Coq

Coq

Coq adalah pembantu bukti, yang membolehkan anda menulis bukti matematik dengan cara yang ketat dan formal, dan memaklumkan kepada mereka kebenaran oleh komputer.
Coq adalah pembantu bukti, yang membolehkan anda menulis bukti matematik dengan cara yang ketat dan formal, dan memaklumkan kepada mereka kebenaran oleh komputer.Ia juga membolehkan pengaturcaraan dengan bukti ketepatan untuk kod, dan jenis bergantung.

WebSite:

Kategori

Alternatif untuk Coq untuk semua platform dengan lesen sumber terbuka