Hacker News new | ask | show | jobs
A tour of the equational theories project (terrytao.wordpress.com)
4 points by johndcook 618 days ago