PrototypeCommon
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
- Owner
- leanprover-community (organization)
- Stars
- Stars: 231
- Forks
- Forks: 49
- Language
- Lean
- License
- Apache-2.0
- Created
- 2022
- Topics
- leanlean4visualization
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,414LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 818LeanBeta
- leanprover-community/mathematics_in_leanStars: 625HTMLAlpha
- leanprover-community/lean4gameStars: 576TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
Nearby in Lean
All Lean repos- leanprover-community/iris-leanStars: 245LeanPrototype
- Pengbinghui/pipeline-mathStars: 243LeanPrototype
- leanprover-community/replStars: 237LeanPrototype
- ShouqiaoW/erdosStars: 230LeanPrototype
- kbuzzard/xenaStars: 229LeanPrototype
- avigad/mathematics_in_lean_sourceStars: 223LeanPrototype