metamath's picture
Training in progress, step 500
2f774a1 verified