Tópico · lean4

lean4

Repositórios de código aberto acompanhados marcados com lean4, ordenados por estrelas.

Repositórios

Total de estrelas

21.235

Média de estrelas

2.124

Participação

0,00%

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

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com lean4.

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

#1
lean4 ↗@leanproverLean
Linguagem de programação e provador de teoremas Lean 4
★ 8.928+49Variação de estrelas nos últimos 7 dias
#2
mathlib4 ↗@leanprover-communityLean
A biblioteca matemática do Lean 4.
★ 3.974+57Variação de estrelas nos últimos 7 dias
#3
YC-Killer ↗@sahibzada-allahyarTypeScript
Uma biblioteca de agentes de IA de nível empresarial projetada para democratizar a inteligência artificial e fornecer alternativas gratuitas e de código aberto para startups supervalorizadas da Y Combinator.
★ 2.799+14Variação de estrelas nos últimos 7 dias
#4
LeanCopilot ↗@lean-dojoC++
LLMs como copilotos para prova de teoremas em Lean
★ 1.318+4Variação de estrelas nos últimos 7 dias
#5
formal-conjectures ↗@google-deepmindLean
Uma coleção de declarações formalizadas de conjecturas em Lean.
★ 1.219+11Variação de estrelas nos últimos 7 dias
#6
LeanDojo ↗@lean-dojoPython
Ferramenta para extração de dados e interação com o Lean de forma programática.
★ 832+4Variação de estrelas nos últimos 7 dias
#7
lean.nvim ↗@JulianLua
Suporte ao Neovim para o provador de teoremas Lean
★ 570+1Variação de estrelas nos últimos 7 dias
#8
lean4game ↗@leanprover-communityTypeScript
Servidor para hospedar jogos Lean.
★ 546+3Variação de estrelas nos últimos 7 dias
#9
paperproof ↗@Paper-ProofTypeScript
Interface de prova de teoremas Lean que se assemelha a provas feitas com papel e caneta.
★ 543+2Variação de estrelas nos últimos 7 dias
#10
SciLean ↗@lecopivoLean
Computação científica em Lean 4
★ 526+2Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos

Tópicos relacionados

Em ascensão recentemente