Tópico · formal-mathematics
formal-mathematics
Repositórios de código aberto acompanhados marcados com formal-mathematics, ordenados por estrelas.
Repositórios
2
Total de estrelas
2.538
Média de estrelas
1.269
Participação
0,00%
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de formal-mathematics no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com formal-mathematics.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
LLMs como copilotos para prova de teoremas em Lean
★ 1.318+1Variação de estrelas nos últimos 7 dias - #2
Uma coleção de declarações formalizadas de conjecturas em Lean.
★ 1.220+13Variação de estrelas nos últimos 7 dias
