HOL 7

HOL kort från Higher Order Logic är en programmeringsmiljö där teorem kan bevisas och korrekturverktyg implementeras.Inbyggda besluts och sats jäs kan automatiskt skapa många enkla satser. Ett orakel mekanism ger tillgång till externa program som SAT och...