Issue del repository

leanprover-community/batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Vedi su GitHub
Star
 (406 stelle)
Fork
 (154 fork)
Issue indicizzate
 (2 issue indicizzate)
issue per principianti aperte
 (0 issue per principianti aperte)
Ultima indicizzazione
31 lug 2026
Ultimo push GitHub
16 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
Nessuna label per principianti indicizzata

Issue

0 issue indicizzate chiuse

Nessuna issue indicizzata chiusa trovata per questo repository.