lean-tui-1.1.0

docs.rs

Rust

lean-tui 1.1.0

Standalone TUI infoview for Lean 4 theorem prover

Crate
Source
Builds
Feature flags

..
before_after
compact_tree
data_flow
deduction_tree
effect_flow
graph_layout
widgets
app.rs
display_mode.rs
error.rs
interactive.rs
lib.rs
main.rs
navigation.rs
protocol.rs
selection.rs
tcp_client.rs
theme.rs

//! TUI for displaying Lean proof goals.

fn main() {
    lean_tui::run_from_args();
}