# Normalize

standardize Lean file formatting

This tool is deprecated and will be removed in a future release.

Use [extract_decls](https://axle.axiommath.ai/extract_decls) instead, which supports all declaration kinds.

## Input

### environment*
Lean environment or version

- lean-4.32.0
- lean-4.31.0
- lean-4.30.0
- lean-4.29.0
- lean-4.28.0
- lean-4.27.0
- lean-4.26.0
- lean-4.25.1
- lean-4.24.0
- lean-4.23.0
- lean-4.22.0
- lean-4.21.0

### ignore_imports
Ignore import mismatches

Default header (injected when enabled):

```
import Mathlib
```

### content*
Lean source code

### normalizations
List of normalizations to apply

### failsafe
Return original if normalization fails

### timeout_seconds
Max execution time in seconds

RUNCLEAR

Processing request...