After writing On Math Platform, I’ve run a number of experiments while participating in the Equational Theories project (Terence Tao, Pietro Monticone, and Shreyas Srinivas).