format_lean
format_lean copied to clipboard
leanprover-community
A Lean file formatter
Results
1
format_lean issues
Sort by
recently updated
recently updated
newest added
Shouldn't the |bn-l| be |cn-l| in the last second line of [Sandwich Theorem](https://leanprover-community.github.io/format_lean/example/sandwich.html)? 
