Mathematics Distillation Challenge – Equational Theories

by picafrost | View on Hacker News