Home - teorth/equational_theories GitHub Wiki Welcome to the equational_theories wiki! Tour of selected equations Terence Tao's personal log Plan of paper Graph ML: Directed Link Prediction on the Implication Graph Upstream to Mathlib