Proprietário · HOL-Theorem-Prover

HOL-Theorem-Prover

Repositórios de código aberto acompanhados de HOL-Theorem-Prover, ordenados por estrelas.

1 repositório

#1
HOL ↗@HOL-Theorem-ProverStandard ML
Fontes canônicas para o sistema de demonstração de teoremas HOL4. O branch develop é onde ocorre o "desenvolvimento principal"; quando o develop passa em nossos testes de regressão, o master é mesclado para atualização.
★ 757+3Variação de estrelas nos últimos 7 dias