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

0 issue indexada fechada

Nenhum issues indexado fechado encontrado para este repositório.