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.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face