HOL 7

HOL curto de ordem superior Logic é um ambiente de programação em que teoremas pode ser provado e ferramentas à prova implementadas.Processos de decisão internos e provadores de teoremas pode estabelecer automaticamente muitos teoremas simples. Um...