metamath-llemma-7b / split_data.py

Commit History