lean-tui 1.1.0

Standalone TUI infoview for Lean 4 theorem prover
1
2
3
4
5
6
7
8
9
mod dag;
mod edge_render;
mod layered_layout;
mod viewport_state;

pub use dag::{Dag, DagGraph, DagNode, EdgeData, NavNode};
pub use edge_render::{render_edges, render_scrollbars};
pub use layered_layout::{calculate_layout, DagLayout, LayoutGraph, NodePosition};
pub use viewport_state::GraphViewport;