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.

WebSite:

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

Kategórie

Vzdelávanie a referencie

Alternatívy programu Isabelle pre Mac s licenciou s otvoreným zdrojom