patrik-cihal / lean-graph

Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.
21Updated last year

Alternatives and similar repositories for lean-graph:

Users that are interested in lean-graph are comparing it to the libraries listed below