Moet Sagteware Vir Michael Norrish

HOL kort van Hoër Orde Logika is 'n programmeertaal omgewing waarin stellings bewys kan word en bewys gereedskap geïmplementeer.Ingeboude besluit prosedures en stelling provers kan outomaties vestig baie eenvoudige stellings. 'N binneste vertrek...