Repository Issues

leanprover-community/ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

Auf GitHub ansehen
Stars
 (219 Sterne)
Forks
 (45 Forks)
Indexierte Issues
 (4 indexierte Issues)
offene Einsteiger-Issues
 (4 offene Einsteiger-Issues)
Zuletzt indexiert
22.08.2026
Letzter GitHub Push
22.07.2026
Lizenz
Apache License 2.0
Contributing Guide
Kein Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
Lean
PR-Merge-Metriken
 (Durchschn. Merge 7h 38m) (5 zusammengeführte PRs in 30 T)
Einsteiger-Labels
help wantedgood first issue

Issues

0 geschlossene indexierte Issues

Für dieses Repository wurden keine geschlossenen indexierten Issues gefunden.