Isabelle

Isabelle je asistentkou pri písaní a kontrole matematických dôkazov pomocou počítača.

Bezplatná
Windows
Mac
Linux

Isabelle je asistentkou pri písaní a kontrole matematických dôkazov pomocou počítača.Umožňuje vyjadriť matematické vzorce vo formálnom jazyku a poskytuje nástroje na preukázanie týchto vzorcov v logickom počte.

isabelle

WebSite:

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

Kategórie

Vzdelávanie a referencie

Alternatívy k službe Isabelle pre všetky platformy s bezplatnou licenciou