![Isabelle](https://i.altapps.net/icons/isabelle-d67d.png)
3
Isabelle jest asystentką do pisania i sprawdzania matematycznych dowodów komputerowych.Umożliwia wyrażanie wzorów matematycznych w języku formalnym i zapewnia narzędzia do sprawdzania tych wzorów w rachunku logicznym.
isabelle