pkuAI4M
/

mathlib_formal_v4.24.0

Model card Files Files and versions

mathlib_formal_v4.24.0 / mathlib424.sql

Commit History

Upload mathlib424.sql with huggingface_hub

c93e9e0
verified

tonyxty commited on 5 days ago