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.

WebSite:

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

Kategori

Pendidikan & Rujukan

Alternatif untuk Isabelle untuk Web dengan lesen komersil