Isabelle

Isabelle

Isabelle jest asystentką do pisania i sprawdzania matematycznych dowodów komputerowych.
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

Alternatywy dla Isabelle dla Windows z licencją open source