3
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
Kategórie
Alternatívy Isabelle pre všetky platformy s akoukoľvek licenciou
4
3