Isabelle

Isabelle jest asystentką do pisania i sprawdzania matematycznych dowodów komputerowych.

Darmowa
Windows
Mac
Linux

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

Stronie internetowej:

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

Kategorie

Edukacja i referencje

Alternatywy dla Isabelle'a dla wszystkich platform z darmową licencją