Open utterances-bot opened 1 month ago
https://reasonablypolymorphic.com/blog/theorems-for-free/
Some math formulas are not being rendered correctly
It's the great shame of bitrot, unfortunately. I don't know why \defines aren't working anymore, but would love a PR if you know how to fix it!
\define
Review: Theorems for Free :: Reasonably Polymorphic
https://reasonablypolymorphic.com/blog/theorems-for-free/