Dépôts de leanprover-community
23 dépôts publics de leanprover-community au catalogue, du plus étoilé au moins étoilé.
- leanprover-community/mathlib4Étoiles : 4 414LeanRC
- leanprover-community/mathlib3Étoiles : 1 667LeanBêta
- leanprover-community/physlibÉtoiles : 818LeanBêta
- leanprover-community/mathematics_in_leanÉtoiles : 625HTMLAlpha
- leanprover-community/lean4gameÉtoiles : 576TypeScriptAlpha
- leanprover-community/leanÉtoiles : 436C++Alpha
- leanprover-community/batteriesÉtoiles : 428LeanAlpha
- leanprover-community/aesopÉtoiles : 413LeanAlpha
- leanprover-community/NNG4Étoiles : 387LeanAlpha
- leanprover-community/lean4-metaprogramming-bookÉtoiles : 316LeanAlpha
- leanprover-community/lean-liquidÉtoiles : 255LeanAlpha
- leanprover-community/iris-leanÉtoiles : 245LeanPrototype
- leanprover-community/replÉtoiles : 237LeanPrototype
- leanprover-community/ProofWidgets4Étoiles : 231LeanPrototype
- leanprover-community/lean-autoÉtoiles : 195LeanPrototype
- leanprover-community/tutorialsÉtoiles : 183LeanPrototype
- leanprover-community/lean4webÉtoiles : 160TypeScriptPrototype
- leanprover-community/lean4-modeÉtoiles : 142Emacs LispPrototype
- leanprover-community/lean-perfectoid-spacesÉtoiles : 133LeanPrototype
- leanprover-community/duperÉtoiles : 119LeanPrototype
- leanprover-community/LeanProjectÉtoiles : 119PythonPrototype
- leanprover-community/plausibleÉtoiles : 118LeanPrototype
- leanprover-community/quote4Étoiles : 111LeanPrototype