Show HN: ThmDex – Compendium of mathematical definitions, results, conjectures https://bit.ly/474Lw89

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". https://bit.ly/46H4EJn October 22, 2023 at 11:37AM