Issues du dépôt

leanprover-community/physlib

A project to digitalise results from physics into Lean.

Voir sur GitHub
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

5 issues indexées ouvertes

Ouverte
Remove `erw`s
good first issuehelp-wanted
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible

leanprover-community / physlib · #385 · 10 mars 2025 · Lean · 642 étoiles

1 commentaire0 réaction0 personne assignée
Ouverte
Multigoal linter
good first issuehelp-wanted
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible

leanprover-community / physlib · #353 · 27 févr. 2025 · Lean · 642 étoiles

0 commentaire0 réaction0 personne assignée
Ouverte
Workflow alignment
WIPenhancementgood first issuehelp-wanted
Pourquoi recommandéeAucun commentaire pour l'instant · Label adapté aux débutants
Aucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible

leanprover-community / physlib · #282 · 20 janv. 2025 · Lean · 642 étoiles

0 commentaire0 réaction1 personne assignée