Isabelle

Isabelle är en bevisassistent för att skriva och kontrollera matematiska bevis via datorn.

Gratis
Windows
Mac
Linux

Isabelle är en bevisassistent för att skriva och kontrollera matematiska bevis via datorn.Det tillåter matematiska formler att uttryckas på ett formellt språk och ger verktyg för att bevisa dessa formler i en logisk kalkyl.

isabelle

Hemsida:

http://www.cl.cam.ac.uk/research/hvg/Isabelle/

kategorier

Utbildning & referens

Alternativ till Isabelle för alla plattformar med kommersiell licens