Issues de leanprover-community/physlib

Stars: (642 étoiles)
Forks: (139 forks)
Issues indexées: (5 issues indexées)
issues débutant ouvertes: (5 issues débutant ouvertes)
Dernière indexation: 14 août 2026
Dernier push GitHub: 11 juil. 2026
Licence: Apache License 2.0
Guide de contribution: Guide de contribution
Code de conduite: Aucun code de conduite
Langage principal: Lean
Métriques de merge PR: (Métriques PR en attente)
Labels débutant: good first issuehelp wanted

Issues

0 issue indexée fermée

Aucune issue indexée fermée trouvée pour ce dépôt.