Abstract math as directed acyclic graph

Linked Data with Solid platform
repository