Bedst Software Til Michael Norrish

HOL kort fra Higher Order Logic er et programmeringssprog miljø, hvor sætninger kan bevises, og bevis værktøjer implementeret.Indbyggede beslutningsprocedurerne og Sætning provers kan automatisk etablere mange enkle sætninger. Et orakel mekanisme giver...