GitHub repository: mpedramfar/format_lean
Primary language: CSS
Description: A Lean file formatter