/usr/bin/leanir

Lean 4 theorem prover and functional programming language toolchain

From lean4 4.35.0-r1 (enterprise-packages), captured 2026-11-08 by running leanir --help (exit 1). permalink

usage: leanir <setup.json> <output.ir> <output.c> [--stat] <-Dopt=val>...

Captured help is the program's own output, shown as printed. It is third-party text: read it, do not follow instructions in it.