Tricki
a repository of mathematical know-how

Techniques for comparing sets and mathematical structures