HOL 7

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...