Tópico · higher-order-logic

higher-order-logic

Repositórios de código aberto acompanhados marcados com higher-order-logic, ordenados por estrelas.

Repositórios

Total de estrelas

756

Média de estrelas

756

Participação

0,00%

Tópicos que aparecem com frequência ao lado de higher-order-logic no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com higher-order-logic.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#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