HOL-Theorem-Prover/HOL
@HOL-Theorem-ProverFontes 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.
Estrelas
755
Bifurcações
173
Linguagem
Standard ML
Licença
NOASSERTION
Último push
há 1 dia
Intel relacionado (0)
Ainda não há intel relacionado
Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.