This paper is well written. I was able to extract the mathematics into the project I created to document the relations and steps of derivations [0].
[0] https://derivationmap.net/review_derivation/608598/?referrer...
[0] https://derivationmap.net/review_derivation/608598/?referrer...
A fullscreen option for the d3 graph would be nice, this way it could leverage large monitors. Some interface for creating derivations directly from graph view would be amazing, but this is probably hard to get right.