fumiyau
/

mathlib4_state_diff_v2

Model card Files Files and versions

mathlib4_state_diff_v2

1.13 GB

1 contributor

History: 26 commits

fumiyau's picture

Training in progress, step 295100

a4cb462 verified about 1 year ago