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

0 issue indicizzate chiuse

Nessuna issue indicizzata chiusa trovata per questo repository.