3
Isabelle je pomoćnica u pisanju i provjeri matematičkih dokaza pomoću računala.To omogućava da se matematičke formule izraze na formalnom jeziku i pruža alate za dokazivanje tih formula u logičkoj računici.
Web stranica:
http://www.cl.cam.ac.uk/research/hvg/Isabelle/Kategorije
