PrototypeCommune
nomeata/loogle
Mathlib search tool
- Propriétaire
- nomeata (compte personnel)
- Étoiles
- Étoiles : 160
- Forks
- Forks : 29
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2023
- Sujets
- lean4lean
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de nomeata
Les 8 dépôts de nomeata- nomeata/incredibleÉtoiles : 398HaskellAlpha
- nomeata/arbttÉtoiles : 365HaskellAlpha
- nomeata/inspection-testingÉtoiles : 192HaskellPrototype
- nomeata/ghc-proofsÉtoiles : 145HaskellPrototype
- nomeata/udp-broadcast-relayÉtoiles : 133CPrototype
- nomeata/ghc-justdoitÉtoiles : 125HaskellPrototype
D’autres dépôts Lean
Tous les dépôts Lean- Verilean/sparkleÉtoiles : 166LeanPrototype
- ImperialCollegeLondon/M40001_leanÉtoiles : 165LeanPrototype
- PatrickMassot/verbose-lean4Étoiles : 163LeanPrototype
- AxiomMath/CFSGÉtoiles : 154LeanPrototype
- lfglabs-dev/verityÉtoiles : 152LeanPrototype
- josevalim/lynxÉtoiles : 152LeanPrototype