ProofGraph - Graph Analytics on Dependency Graphs in Lean Ecosystem
Exploring graph theory through an application to formalized mathematics
· 1 min read
I’ve started a project that does graph analysis on the dependency graphs in the Lean ecosystem.
Exploring graph theory through an application to formalized mathematics
· 1 min read
I’ve started a project that does graph analysis on the dependency graphs in the Lean ecosystem.