TheoremDB · A public workspace for machine mathematics