http://group-mmm.org/~dubut/
This is an unofficial reimagining of the Archive of Formal Proofs
Complete Non-Orders and Fixed Pointsby Akihisa Yamada and Jérémy Dubut