You mention supporting graphs of functions. I use DOT [1] to render graphs of nodes and edges very often. Do you plan to support that type of graph as part of everything?
[1] https://en.wikipedia.org/wiki/DOT_(graph_description_languag...
[1] https://en.wikipedia.org/wiki/DOT_(graph_description_languag...
In my example I was referring to the Cartesian plane graph of x vs. f(x), but I do certainly hope to support the kind of general graphs / directed graph structures you're referring to. If there are open source libraries to process those kinds of things, I may be able to hack MVP-type usability quicker than otherwise.
Unfortunately Polymath is a side project that only has a limited resource pool available at the moment, as I have other work responsibilities.
I'm considering the options available to me in finding some way to fund a dedicated long term development of Polymath. Maybe a paid hosting service for ready-to-go blogs or something like that, or a Patreon-type deal if it's better to just keep the whole thing open source. Very early in the project right now - definitely open to any suggestions on expanding it.