Formalização em Lean 4 do Stacks Project, referência open source em geometria algébrica, construída sobre o Mathlib e com provas verificadas pela máquina.
123+19 esta semana26LeanApache-2.0Atualizado ontem
Linguagem
Os melhores projetos open source em Lean
Projetos open source escritos em Lean, ordenados por estrelas, com resumos de IA e informações de licença.
Ordenar:Adicionados recentemente
4 repositórios
Primitivos do Ethereum verificados formalmente em Lean, criados como uma biblioteca compartilhada de especificações e provas para projetos em Lean.
85+6 esta semana22LeanCC0-1.0Bem mantidoAtualizado há 4 horas
Um framework em Lean 4 para provas verificadas por máquina de correção e segurança de memória sobre CIL de .NET compilado a partir de C#, F# e outras linguagens .NET.
114+10 esta semana3LeanOtherAtualizado há 9 horas
Framework Lean 4 para especificar, executar e verificar formalmente redes neurais, com tensores com verificação de dimensões e treinamento no estilo PyTorch.
206+14 esta semana25LeanMITBem mantidoAtualizado há 10 dias