![Isabelle](https://i.altapps.net/icons/isabelle-d67d.png)
3
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