pkuAI4M
/

mathlib_formal_v4.24.0

Model card Files Files and versions

mathlib_formal_v4.24.0 / README.md

tonyxty's picture

initial commit

4b61478 verified 5 days ago

|

history blame contribute delete

31 Bytes

metadata

license: apache-2.0