metamath's picture
Training in progress, step 500
67c8f72 verified