- Hlavní stránka
- Michael Norrish
- Vývojářské nástroje
HOL Stručně z vyššího řádu Logic je programovací prostředí, ve kterém mohou být věty dokázat a odolné nástroje realizovány.Vestavěné rozhodovací postupy a věta provers může automaticky vytvořit mnoho jednoduchých vět. Mechanismus věštec umožňuje přístup k...