khanh2023/mathlib4_dependency_graph download history
khanh2023/mathlib4_dependency_graph is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 221 times (175 in the last 7 days), and 3,672 times in total. It ranks #62,310 among datasets by monthly downloads.
MATHLIB4 DEPENDENCY GRAPH make dependency graph for mathlib4 using jixia HOW TO how to make your own mathlib4 graph Clone the repository at https://github.com/fbundle/mathlib4_dependency_graph Check out your favorite mathlib version Use build script to build mathlib and jixi