Isabelle

Isabelle

Isabelle je asistentkou pri písaní a kontrole matematických dôkazov pomocou počítača.
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:

Kategórie

Alternatívy programu Isabelle pre Web

F*

F*

F * je funkčný programovací jazyk typu ML zameraný na overenie programu.F * môže vyjadrovať presné špecifikácie programov vrátane funkčných správnych vlastností.Programy napísané v jazyku F * je možné preložiť do programu OCaml alebo F #.