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

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 12:37AM

No comments:

Show HN: Lambdock – Wayland-native GTK4 dock with a live Lisp REPL https://ift.tt/PdMUu8j

Show HN: Lambdock – Wayland-native GTK4 dock with a live Lisp REPL https://ift.tt/c2YemAl August 11, 2026 at 06:21AM