PrototypeCommune
pandaman64/lean-regex
Pas de description.
- Propriétaire
- pandaman64 (compte personnel)
- Étoiles
- Étoiles : 112
- Forks
- Forks : 17
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Sujets
- lean4
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de pandaman64
Les 3 dépôts de pandaman64- pandaman64/serde-queryÉtoiles : 319RustAlpha
- pandaman64/effective-rustÉtoiles : 155RustPrototype
D’autres dépôts Lean
Tous les dépôts Lean- vihdzp/combinatorial-gamesÉtoiles : 113LeanPrototype
- James-Hanson/junk-theorems-in-leanÉtoiles : 113LeanPrototype
- optsuite/optlibÉtoiles : 112LeanPrototype
- leanprover-community/quote4Étoiles : 111LeanPrototype
- schildep/verified-3d-mesh-intersectionÉtoiles : 110LeanPrototype
- thefundamentaltheor3m/Sphere-Packing-LeanÉtoiles : 108LeanPrototype