patrik-cihal / lean-graphLinks

Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.
29Updated this week

Alternatives and similar repositories for lean-graph

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

Sorting: