HOL 7

HOL rövid magasabb rendű Logic egy programozási környezet, amelyben tételek bizonyítja és bizonyítási eszközök végrehajtani.Beépített döntéshozatali eljárással és a tétel Provers automatikusan létrehozza sok egyszerű tételek. Az Oracle mechanizmust...
Utoljára megtekintett szoftver