leanprover/leanprover.github.io
Ver no GitHubwww
- Estrelas
- 17
- Forks
- 25
- Issues abertas para iniciantes
- 0
- Issues indexadas
- 13
- Linguagem predominante
- HTML
- Licença
- Sem dados de licença
- Último push no GitHub
- 13/8/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
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
-
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 55/100
leanprover/leanprover.github.io#102 · 2 comentários ·
-
Website Changes Aberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100
leanprover/leanprover.github.io#66 · 1 comentário · 3 reações ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
leanprover/leanprover.github.io#61 · 1 comentário ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 25/100
-
enhancement
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 38/100
leanprover/leanprover.github.io#38 · 2 comentários ·
-
autorun option (via get) Abertaeditor enhancement
leanprover/leanprover.github.io#21 · 1 responsável ·
-
editor enhancement
leanprover/leanprover.github.io#20 · 1 responsável ·
-
OneDrive Support Abertaeditor enhancement
leanprover/leanprover.github.io#19 · 1 responsável ·
-
editor
leanprover/leanprover.github.io#14 · 1 responsável ·
-
editor
leanprover/leanprover.github.io#6 · 1 responsável ·
-
help button Abertaeditor
leanprover/leanprover.github.io#5 · 1 responsável ·
-
flycheck-like syntax checker Abertaeditor
leanprover/leanprover.github.io#4 · 1 comentário · 1 responsável ·