Show HN: ThmDex – Compendium of mathematical definitions, results, conjectures https://ift.tt/N9zyVx4

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://thmdex.org October 22, 2023 at 11:37AM