3
Isabelle matematiksel kanıtları bilgisayarla yazmak ve kontrol etmek için kanıt asistanıdır.Matematiksel formüllerin biçimsel bir dilde ifade edilmesini sağlar ve bu formüllerin mantıksal bir hesapta kanıtlanması için araçlar sağlar.
İnternet sitesi:
http://www.cl.cam.ac.uk/research/hvg/Isabelle/Kategoriler
