A tour of the equational theories project

4 points| johndcook | 1 year ago |terrytao.wordpress.com