lean-tui 0.0.6

Standalone TUI infoview for Lean 4 theorem prover
1
2
3
array-size-threshold = 524288
cognitive-complexity-threshold = 12
excessive-nesting-threshold = 4