Cross-Reference Redirection
Cross-Reference Redirection
Table of Contents
1.
What lean-fmt does
2.
One style, a few switches
3.
What formatting never changes
4.
Exit codes
5.
Canonical layout
6.
Rules and findings
7.
Configuration
8.
Companion documents
Source Code
Report Issues