HOL 7

HOL scurt de ordin superior Logic este un mediu de programare în care teoreme pot fi dovedite și instrumente dovada puse în aplicare.Procedurile de decizie Built-in și provers teorema poate stabili în mod automat mai multe teoreme simple. Un mecanism...