GitHub repository: projectlean/lean-frontend
Primary language: Java
Description: The Lean web frontend