lean-tui 1.1.1

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

pub use dag::{Dag, DagGraph, DagNode, EdgeData, NavNode};
pub use edge_render::{render_edges, render_scrollbars};
pub use graph_scene::{draw_graph_scene, GraphScene, GraphSelection, TreeGraphView};
pub use layered_layout::{calculate_layout, DagLayout, LayoutGraph, NodePosition};