What objective is reasoning solving?

9 points • by gmays • today at 7:25 PM • 1 comment • view on HN

FLeXMurphy • today at 7:59 PM

What is the library, if any, used for the equation/formula rendering? Looks tastefully done.

alt Hacker News