![Isabelle](https://i.altapps.net/icons/isabelle-d67d.png)
3
Изабел е асистент по проверка на писане и проверка на математически доказателства от компютър.Той позволява математическите формули да се изразяват на официален език и предоставя инструменти за доказване на тези формули в логическото смятане.
isabelle