PrototypeCommon
lean-ja/lean-by-example
コード例で学ぶ Lean 言語
- Owner
- lean-ja (organization)
- Stars
- Stars: 192
- Forks
- Forks: 16
- Language
- Lean
- License
- None
- Created
- 2023
- Topics
- leanlean4mdbookfunctional-programmingtheorem-provingreference
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- openai/lean-gymStars: 201LeanPrototype
- leanprover-community/lean-autoStars: 195LeanPrototype
- lean-dojo/TorchLeanStars: 192LeanPrototype
- cajal-technologies/talosStars: 191LeanPrototype
- leanprover-community/tutorialsStars: 183LeanPrototype
- leanprover/doc-gen4Stars: 176LeanPrototype