Show HN: ThmDex – Compendium of mathematical definitions, results, conjectures

This is something I built to help me organize my own notes while studying mathematics. Because of this, some definitions/names might be nonstandard. But it's a somewhat novel way to "browse" mathematical theory, so some may find this interesting.

The name originates from abbreviating "theorem" as "thm".