Coq

Coq adalah pembantu bukti, yang membolehkan anda menulis bukti matematik dengan cara yang ketat dan formal, dan memaklumkan kepada mereka kebenaran oleh komputer.

Percuma
Windows
Mac
Linux

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:

https://coq.inria.fr/

Kategori

Pendidikan & Rujukan

Alternatif untuk Coq untuk semua platform dengan lesen komersil