HOL 7
HOL breve da Higher Order Logic è un ambiente di programmazione in cui teoremi possono essere provati e strumenti di prova implementati.Procedure decisionali integrate e provers teorema può stabilire automaticamente molti teoremi semplici. Un meccanismo...