Hugging Face's logo

pkuAI4M
/
mathlib_formal_v4.24.0

Model card Files
xet
Community
mathlib_formal_v4.24.0
1.07 GB
  • 1 contributor
 History: 2 commits
tonyxty's picture
tonyxty
Upload mathlib424.sql with huggingface_hub
c93e9e0 verified