GitHub repository: leanprover/lean-web-editor
Primary language: TypeScript
Description: Lean web editor