fumiyau
/

mathlib4_state_diff_v3

Model card Files Files and versions

mathlib4_state_diff_v3

1.13 GB

1 contributor

History: 264 commits

fumiyau's picture

Training in progress, step 2922719

4dd5113 verified about 1 year ago