- Stars
- 219 étoiles (219 étoiles)
- Forks
- 45 forks (45 forks)
- Issues indexées
- 4 issues indexées (4 issues indexées)
- issues débutant ouvertes
- 4 issues débutant ouvertes (4 issues débutant ouvertes)
- Dernière indexation
- 15 août 2026
- Dernier push GitHub
- 22 juil. 2026
- Guide de contribution
- Aucun guide de contribution
- Code de conduite
- Aucun code de conduite
- Langage principal
- Lean
- Métriques de merge PR
- Métriques PR en attente (Métriques PR en attente)
- Labels débutant
- help wantedgood first issue
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci
leanprover-community / ProofWidgets4 · #70 · 15 juil. 2024 · Lean · 219 étoiles
0 commentaire0 réaction0 personne assignée Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci
leanprover-community / ProofWidgets4 · #33 · 8 nov. 2023 · Lean · 219 étoiles
2 commentaires0 réaction0 personne assignée Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsDépôt actif ce mois-ci
leanprover-community / ProofWidgets4 · #6 · 13 avr. 2023 · Lean · 219 étoiles
0 commentaire0 réaction0 personne assignée Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsDépôt actif ce mois-ci
leanprover-community / ProofWidgets4 · #4 · 11 avr. 2023 · Lean · 219 étoiles
1 commentaire0 réaction0 personne assignée 