Issue del repository

leanprover-community/physlib

A project to digitalise results from physics into Lean.

Vedi su GitHub
Star
 (642 stelle)
Fork
 (139 fork)
Issue indicizzate
 (5 issue indicizzate)
issue per principianti aperte
 (5 issue per principianti aperte)
Ultima indicizzazione
14 ago 2026
Ultimo push GitHub
11 lug 2026
Licenza
Apache License 2.0
Guida contributori
Guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
Lean
Metriche merge PR
 (Metriche PR in attesa)
Label per principianti
good first issuehelp wanted

Issue

5 issue indicizzate

Aperta
Remove `erw`s
good first issuehelp-wanted
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiGuida alla contribuzione disponibile

leanprover-community / physlib · #385 · 10 mar 2025 · Lean · 642 stelle

1 commento0 reazioni0 assegnatari
Aperta
Multigoal linter
good first issuehelp-wanted
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile

leanprover-community / physlib · #353 · 27 feb 2025 · Lean · 642 stelle

0 commenti0 reazioni0 assegnatari
Aperta
Workflow alignment
WIPenhancementgood first issuehelp-wanted
Perché consigliataNessun commento · Ha una label adatta ai principianti
Nessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile

leanprover-community / physlib · #282 · 20 gen 2025 · Lean · 642 stelle

0 commenti0 reazioni1 assegnatario