TheoremDB: A public workspace for machine mathematics

2 points | by philipfweiss 6 hours ago