# Merge Lean Files

Combine multiple Lean files into a single file.

> 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
  ```

- **documents***  
  List of Lean code strings to merge

- **use_def_eq**  
  Use definitional equality for deduplication

- **include_alts_as_comments**  
  Preserve alternate versions as comments

- **timeout_seconds**  
  Max execution time in seconds

## Result

- **Shareable Link**
- **API Call**

File a bug.