leanprover-community / format_leanLinks

A Lean file formatter
67Updated 2 years ago

Alternatives and similar repositories for format_lean

Users that are interested in format_lean are comparing it to the libraries listed below

Sorting: