Isabelle

Isabelle je pomočnica pri pisanju in preverjanju matematičnih dokazov po računalniku.

Brezplačna
Windows
Mac
Linux

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

Spletna stran:

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

Kategorije

Izobraževanje in reference

Alternativa Isabelleu za vse platforme z licenco odprtokodnih kod