PrototypeCommune
sunblaze-ucb/vero
Pas de description.
- Propriétaire
- sunblaze-ucb (organisation)
- Étoiles
- Étoiles : 116
- Forks
- Forks : 17
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de sunblaze-ucb
Les 4 dépôts de sunblaze-ucb- sunblaze-ucb/exploitgymÉtoiles : 1 242CBêta
- sunblaze-ucb/cybergymÉtoiles : 996PythonBêta
- sunblaze-ucb/IntuitorÉtoiles : 427PythonAlpha
D’autres dépôts Lean
Tous les dépôts Lean- leanprover/LNSymÉtoiles : 120LeanPrototype
- leanprover-community/duperÉtoiles : 119LeanPrototype
- leanprover-community/plausibleÉtoiles : 118LeanPrototype
- fpvandoorn/carlesonÉtoiles : 114LeanPrototype
- AxiomMath/Putnam2025Étoiles : 114LeanPrototype
- vihdzp/combinatorial-gamesÉtoiles : 113LeanPrototype