PrototypeCommune
lean-ja/lean-by-example
コード例で学ぶ Lean 言語
- Propriétaire
- lean-ja (organisation)
- Étoiles
- Étoiles : 192
- Forks
- Forks : 16
- Langage
- Lean
- Licence
- Aucune
- Création
- 2023
- Sujets
- leanlean4mdbookfunctional-programmingtheorem-provingreference
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Lean
Tous les dépôts Lean- openai/lean-gymÉtoiles : 201LeanPrototype
- leanprover-community/lean-autoÉtoiles : 195LeanPrototype
- lean-dojo/TorchLeanÉtoiles : 192LeanPrototype
- cajal-technologies/talosÉtoiles : 191LeanPrototype
- leanprover-community/tutorialsÉtoiles : 183LeanPrototype
- leanprover/doc-gen4Étoiles : 176LeanPrototype