pkuAI4M
/

mathlib_formal_v4.24.0

Model card Files Files and versions

mathlib_formal_v4.24.0 / .gitattributes

Commit History

Upload mathlib424.sql with huggingface_hub

c93e9e0
verified

tonyxty commited on 15 days ago

initial commit

4b61478
verified

tonyxty commited on 15 days ago