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.
isabelle
İnternet sitesi:
http://www.cl.cam.ac.uk/research/hvg/Isabelle/Kategoriler
Windows için Isabelle'a alternatifler
4
3