leanprover/lean4export
Ver no GitHubPlain-text declaration export for Lean 4
- Estrelas
- 40
- Forks
- 26
- Issues abertas para iniciantes
- 1
- Issues indexadas
- 3
- Merge médio
- 51min
- PRs com merge (30d)
- 5
- Linguagem predominante
- Lean
- Licença
- Apache-2.0
- Último push no GitHub
- 16/9/2026
- Última indexação
- 20/9/2026
- Guia de contribuição
- Sem guia de contribuição
- Código de conduta
- Sem código de conduta
- Labels para iniciantes
- Nenhum label para iniciantes indexado
3 issues abertas indexadas
Carregando issues
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
leanprover/lean4export#48 · 1 comentário ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 68/100
leanprover/lean4export#40 · 6 comentários ·
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
leanprover/lean4export#8 · 2 comentários ·