lean-tui 1.1.0

Standalone TUI infoview for Lean 4 theorem prover
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
pub mod aligned_table;
pub mod assumption_pane;
pub mod diff_text;
pub mod error_banner;
pub mod errors_section;
pub mod goals_pane;
pub mod help_menu;
pub mod input_pane;
pub mod legend;
pub mod node_content;
pub mod output_pane;
pub mod render_helpers;
pub mod status_bar;
pub mod welcome;
pub mod worker_selector;

pub use assumption_pane::{AssumptionPane, AssumptionPaneState};
pub use goals_pane::{GoalsPane, GoalsPaneState};