GitHub repository: leanprover-community/format_lean
Primary language: Python
Created: 2019-02-05T21:11:53Z
Description: A Lean file formatter