Isabelle

Isabelle er en bevisassistent til at skrive og kontrollere matematiske bevis via computeren.

Gratis
Windows
Mac
Linux

Isabelle er en bevisassistent til at skrive og kontrollere matematiske bevis på computeren.Det giver mulighed for, at matematiske formler udtrykkes på et formelt sprog og giver værktøjer til at bevise disse formler i en logisk beregning.

isabelle

Internet side:

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

Kategorier

Uddannelse og reference

Alternativer til Isabelle til Web med kommerciel licens