fumiyau
/

mathlib4_state_diff_v2

Model card Files Files and versions

mathlib4_state_diff_v2

Commit History

Training in progress, step 47216

7d2d3ec
verified

fumiyau commited on Nov 24, 2024

Training in progress, step 35412

e38a24d
verified

fumiyau commited on Nov 24, 2024

Training in progress, step 23608

969133b
verified

fumiyau commited on Nov 24, 2024

Training in progress, step 11804

5f916f5
verified

fumiyau commited on Nov 24, 2024

initial commit

fbe3279
verified

fumiyau commited on Nov 24, 2024