Tópico · theorem-proving

theorem-proving

Repositórios de código aberto acompanhados marcados com theorem-proving, ordenados por estrelas.

Repositórios

Total de estrelas

13.478

Média de estrelas

1.925

Participação

0,00%

Tópicos que aparecem com frequência ao lado de theorem-proving no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com theorem-proving.

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

#1
rocq ↗@rocq-proverOCaml
O Rocq Prover é um provador de teoremas interativo, ou assistente de prova. Ele fornece uma linguagem formal para escrever definições matemáticas, algoritmos executáveis e teoremas, juntamente com um ambiente para o desenvolvimento semi-interativo de provas verificadas por máquina.
★ 5.562+4Variação de estrelas nos últimos 7 dias
#2
FStar ↗@FStarLangF*
Uma linguagem de programação orientada a provas.
★ 3.103+4Variação de estrelas nos últimos 7 dias
#3
LeanCopilot ↗@lean-dojoC++
LLMs como copilotos para prova de teoremas em Lean
★ 1.318+1Variação de estrelas nos últimos 7 dias
#4
cakeml ↗@CakeMLStandard ML
CakeML: Uma implementação verificada de ML
★ 1.190+2Variação de estrelas nos últimos 7 dias
#5
LeanDojo ↗@lean-dojoPython
Ferramenta para extração de dados e interação com o Lean de forma programática.
★ 832+1Variação de estrelas nos últimos 7 dias
#6
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
#7
physlib ↗@leanprover-communityLean
Um projeto para digitalizar resultados da física no Lean.
★ 721+6Variação de estrelas nos últimos 7 dias