Issues do repositório

leanprover-community/physlib

A project to digitalise results from physics into Lean.

Ver no GitHub
Stars
 (642 estrelas)
Forks
 (139 forks)
Issues indexadas
 (5 issues indexadas)
issues iniciantes abertas
 (5 issues iniciantes abertas)
Última indexação
14 de ago. de 2026
Último push no GitHub
11 de jul. de 2026
Licença
Apache License 2.0
Guia de contribuição
Guia de contribuição
Código de conduta
Nenhum código de conduta
Linguagem principal
Lean
Métricas de merge de PR
 (Métricas PR pendentes)
Labels para iniciantes
good first issuehelp wanted

Issues

5 issues indexadas abertas

Aberta
Remove `erw`s
good first issuehelp-wanted
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesGuia de contribuição disponível

leanprover-community / physlib · #385 · 10 de mar. de 2025 · Lean · 642 estrelas

1 comentário0 reação0 responsável
Aberta
Multigoal linter
good first issuehelp-wanted
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesGuia de contribuição disponível

leanprover-community / physlib · #353 · 27 de fev. de 2025 · Lean · 642 estrelas

0 comentário0 reação0 responsável
Aberta
Workflow alignment
WIPenhancementgood first issuehelp-wanted
Por que recomendamosAinda sem comentários · Tem label amigável para iniciantes
Ainda sem comentáriosTem label amigável para iniciantesGuia de contribuição disponível

leanprover-community / physlib · #282 · 20 de jan. de 2025 · Lean · 642 estrelas

0 comentário0 reação1 responsável