BêtaRare
leanprover/cslib
The Lean Computer Science Library (CSLib)
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 786
- Forks
- Forks : 218
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2025
- Sujets
- computer-sciencelean
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de leanprover
Les 18 dépôts de leanprover- leanprover/lean4Étoiles : 9 804LeanStable
- leanprover/lean3Étoiles : 2 153C++RC
- leanprover/elanÉtoiles : 671RustAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
- leanprover/theorem_proving_in_lean4Étoiles : 285LeanAlpha
D’autres dépôts Lean
Tous les dépôts Lean- ImperialCollegeLondon/FLTÉtoiles : 1 056LeanBêta
- leanprover-community/physlibÉtoiles : 817LeanBêta
- google-deepmind/superhumanÉtoiles : 806LeanBêta
- uwdb/CosetteÉtoiles : 690LeanAlpha
- litexlang/golitexÉtoiles : 683LeanAlpha
- AndrasKovacs/smallttÉtoiles : 611LeanAlpha