HOL 7
HOL kısa Yüksek Sipariş Logic teoremler ispat ve ispat araçları uygulanabilir hangi bir programlama ortamıdır.Dahili karar prosedürleri ve teorem prover otomatik olarak birçok basit teoremleri kurabilir. Bir kehanet mekanizması gibi SAT ve BDD motorları...