Isabelle

Isabelle

Isabelle je pomočnica pri pisanju in preverjanju matematičnih dokazov po računalniku.
Isabelle je pomočnica pri pisanju in preverjanju matematičnih dokazov po računalniku.Omogoča izražanje matematičnih formul v formalnem jeziku in ponuja orodja za dokazovanje teh formul v logičnem izračunu.
isabelle

Alternativa Isabelleu za Windows s komercialno licenco