Category: A1; Team name: ProofTruth; Dataset: Metamath#249

jableable wants to merge 2 commits intogeometric-intelligence:maingeometric-intelligence/TopoBench:mainfrom

jableable:metamath-datasetjableable/TopoBench:metamath-datasetCopy head branch name to clipboard