http://www.sci.kagoshima-u.ac.jp/~furusawa/
This is an unofficial reimagining of the Archive of Formal Proofs
Binary Multirelationsby Hitoshi Furusawa and Georg Struth