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