pkuAI4M
/

mathlib_formal_v4.24.0

Model card Files Files and versions

mathlib_formal_v4.24.0 / README.md

Commit History

initial commit

4b61478
verified

tonyxty commited on 11 days ago