fumiyau/mathlib4_state_diff_v2

Training in progress, step 295100

Training in progress, step 283296

Training in progress, step 271492

Training in progress, step 259688

Training in progress, step 247884

Training in progress, step 236080

Training in progress, step 224276

Training in progress, step 212472

Training in progress, step 200668

Training in progress, step 188864

Training in progress, step 177060

Training in progress, step 165256

Training in progress, step 153452

Training in progress, step 141648

Training in progress, step 129844

Training in progress, step 118040

Training in progress, step 106236

Training in progress, step 94432

Training in progress, step 82628

Training in progress, step 70824

Training in progress, step 59020

Training in progress, step 47216

Training in progress, step 35412

Training in progress, step 23608

Training in progress, step 11804

initial commit