HOL 7
HOL krótkie Wyższej Zamów Logic jest środowisko programistyczne, w których można udowodnić twierdzenia i narzędzia dowód realizowane.Wbudowane procedury decyzyjne i dowodzenie twierdzenie może automatycznie nawiązać wiele prostych twierdzeń. Mechanizm...