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