AlphaPeu commune
leanprover/elan
The Lean version manager
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 672
- Forks
- Forks : 61
- Langage
- Rust
- Licence
- Apache-2.0
- Création
- 2018
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de leanprover
Les 18 dépôts de leanprover- leanprover/lean4Étoiles : 9 820LeanStable
- leanprover/lean3Étoiles : 2 152C++RC
- leanprover/cslibÉtoiles : 789LeanBêta
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 286LeanAlpha
D’autres dépôts Rust
Tous les dépôts Rust- valpackett/systemstatÉtoiles : 672RustAlpha
- michelhe/rustboyadvance-ngÉtoiles : 672RustAlpha
- zhxie/pcap2socksÉtoiles : 672RustAlpha
- cometbft/tendermint-rsÉtoiles : 671RustAlpha