Global proof preferences
Cython-like rich comparisons in Python
Enter search terms or a module, class or function name.
