What objective is reasoning solving?

14 points • by gmays • today at 7:25 PM • 3 comments • 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