Isabelle

Isabelle adalah pembantu bukti untuk menulis dan menyemak bukti matematik oleh komputer.

Percuma
Windows
Mac
Linux

Isabelle adalah pembantu bukti untuk menulis dan menyemak bukti matematik oleh komputer.Ia membolehkan formula matematik dinyatakan dalam bahasa rasmi dan menyediakan alat untuk membuktikan formula-formula tersebut dalam kalkulus logik.

isabelle

WebSite:

http://www.cl.cam.ac.uk/research/hvg/Isabelle/

Kategori

Pendidikan & Rujukan

Alternatif untuk Isabelle untuk semua platform dengan lesen sumber terbuka