khanh2023/mathlib4_dependency_graph

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 jixia Extract dependency graph by jixia_export.py Get symbol file by get_symbol_file.py and get_symbol_db.py Upload to huggingface using upload_huggingface.py or just download the prebuilt… See the full description on the dataset page: https://huggingface.co/datasets/khanh2023/mathlib4_dependency_graph.