Issues du dépôt

leanprover-community/batteries

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

Voir sur GitHub
Stars
 (406 étoiles)
Forks
 (154 forks)
Issues indexées
 (2 issues indexées)
issues débutant ouvertes
 (2 issues débutant ouvertes)
Dernière indexation
14 août 2026
Dernier push GitHub
16 juil. 2026
Licence
Apache License 2.0
Guide de contribution
Aucun guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
Lean
Métriques de merge PR
 (Métriques PR en attente)
Labels débutant
help wanted

Issues

2 issues indexées ouvertes

Ouverte
Verify Binary Heap
enhancementhelp wanted
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutants

leanprover-community / batteries · #1442 · 2 oct. 2025 · Lean · 406 étoiles

5 commentaires0 réaction0 personne assignée