GitHub repository: leanprover-community/lean4web
Primary language: TypeScript
Description: The Lean 4 web editor