3
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.
Spletna stran:
http://www.cl.cam.ac.uk/research/hvg/Isabelle/Kategorije
