lean-tui 0.0.6

Standalone TUI infoview for Lean 4 theorem prover
1
2
3
4
5
6
7
8
9
10
edition = "2024"
format_code_in_doc_comments = true
format_strings = true
group_imports = "StdExternalCrate"
imports_granularity = "Crate"
normalize_comments = true
normalize_doc_attributes = true
unstable_features = true
use_field_init_shorthand = true
wrap_comments = true