PrototypeCommon
leanprover-community/lean4web
Lean web editor
- Owner
- leanprover-community (organization)
- Stars
- Stars: 161
- Forks
- Forks: 65
- Language
- TypeScript
- License
- Apache-2.0
- Created
- 2022
- Topics
- lean4
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by leanprover-community
All 23 repos by leanprover-community- leanprover-community/mathlib4Stars: 4,418LeanRC
- leanprover-community/mathlib3Stars: 1,667LeanBeta
- leanprover-community/physlibStars: 819LeanBeta
- leanprover-community/mathematics_in_leanStars: 625HTMLAlpha
- leanprover-community/lean4gameStars: 577TypeScriptAlpha
- leanprover-community/leanStars: 436C++Alpha
Nearby in TypeScript
All TypeScript repos- NanmiCoder/dsh-auto-modeStars: 161TypeScriptPrototype
- mkbhardwas12/purposemeshStars: 161TypeScriptPrototype
- sennkuwu/wechat-style-extractorStars: 161TypeScriptPrototype
- bevry/istextorbinaryStars: 161TypeScriptPrototype
- egret-labs/LarkStars: 161TypeScriptPrototype
- Tyriar/vscode-sort-linesStars: 161TypeScriptPrototype