Issues du dépôt

leanprover-community/ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

Voir sur GitHub
Stars
 (219 étoiles)
Forks
 (45 forks)
Issues indexées
 (4 issues indexées)
issues débutant ouvertes
 (4 issues débutant ouvertes)
Dernière indexation
15 août 2026
Dernier push GitHub
22 juil. 2026
Licence
Apache License 2.0
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)
Labels débutant
help wantedgood first issue

Issues

0 issue indexée fermée

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