PrototypeCommon
leanprover-community/tutorials
Some Lean tutorials
Archived: this repository is read-only
- Owner
- leanprover-community (organization)
- Stars
- Stars: 183
- Forks
- Forks: 59
- Language
- Lean
- License
- Apache-2.0
- Created
- 2019
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,405LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 817LeanBeta
- leanprover-community/mathematics_in_leanStars: 624HTMLAlpha
- leanprover-community/lean4gameStars: 575TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
Nearby in Lean
All Lean repos- lean-ja/lean-by-exampleStars: 192LeanPrototype
- lean-dojo/TorchLeanStars: 192LeanPrototype
- cajal-technologies/talosStars: 191LeanPrototype
- leanprover/doc-gen4Stars: 176LeanPrototype
- leanEthereum/leanVMStars: 176LeanPrototype
- lean-forward/logical_verification_2025Stars: 172LeanPrototype