PrototypeCommune
leanprover/fp-lean
Functional Programming in Lean
- Propriétaire
- leanprover (organisation)
- Étoiles
- Étoiles : 204
- Forks
- Forks : 76
- Langage
- Lean
- Licence
- Aucune
- Création
- 2022
- Rang
- Prototype (100 à 249 ★) 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/cslibÉtoiles : 786LeanBêta
- leanprover/elanÉtoiles : 671RustAlpha
- leanprover/versoÉtoiles : 405LeanAlpha
- leanprover/vscode-lean4Étoiles : 316TypeScriptAlpha
D’autres dépôts Lean
Tous les dépôts Lean- openai/ten-proofsÉtoiles : 217LeanPrototype
- cmu-l3/llmleanÉtoiles : 216LeanPrototype
- Verified-zkEVM/cleanÉtoiles : 207LeanPrototype
- openai/lean-gymÉtoiles : 201LeanPrototype
- leanprover-community/lean-autoÉtoiles : 195LeanPrototype
- lean-ja/lean-by-exampleÉtoiles : 192LeanPrototype