lean-tui-1.1.1

docs.rs

Rust

lean-tui 1.1.1

Standalone TUI infoview for Lean 4 theorem prover

Crate
Source
Builds
Feature flags

..
aligned_table.rs
assumption_pane.rs
connection_hint.rs
diff_text.rs
error_banner.rs
errors_section.rs
goals_pane.rs
help_menu.rs
input_pane.rs
legend.rs
mod.rs
node_content.rs
output_pane.rs
render_helpers.rs
status_bar.rs
worker_selector.rs