Isabelle

Isabelle matematiksel kanıtları bilgisayarla yazmak ve kontrol etmek için kanıt asistanıdır.

Ücretsiz
Windows
Mac
Linux

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

Eğitim ve Referans

Açık kaynak lisanslı tüm platformlar için Isabelle alternatifleri