Issue del repository

leanprover-community/ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

Vedi su GitHub
Star
 (219 stelle)
Fork
 (45 fork)
Issue indicizzate
 (4 issue indicizzate)
issue per principianti aperte
 (4 issue per principianti aperte)
Ultima indicizzazione
15 ago 2026
Ultimo push GitHub
22 lug 2026
Licenza
Apache License 2.0
Guida contributori
Nessuna guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
Lean
Metriche merge PR
 (Metriche PR in attesa)
Label per principianti
help wantedgood first issue

Issue

0 issue indicizzate chiuse

Nessuna issue indicizzata chiusa trovata per questo repository.