Isabelle

Isabelle

Isabelle je asistentem při psaní a kontrole matematických důkazů pomocí počítače.
Isabelle je asistentem při psaní a kontrole matematických důkazů pomocí počítače.Umožňuje vyjádřit matematické vzorce ve formálním jazyce a poskytuje nástroje pro prokázání těchto vzorců v logickém počtu.
isabelle

Alternativy k Isabelle pro Linux s licencí open source