todo list for February 2020 (completed!)

Current status: I have an interactive web interface using Docker and Flask that I'm reasonably happy with. In this post I outline tasks that need to be done prior to wider exposure.

Functionality

• list all 
• operators
• in which derivation is each used?
• popularity: how many references are there to this operator?
• symbols
• in which derivation is each used?
• popularity: how many references are there to this symbol?
• derivations
• popularity: include stats -- number of steps, number of inf rules, number of expressions
• expressions
• popularity: list which derivations use which expressions
• inference rules
• include number of inputs, outputs
• popularity: which derivations use each inference rule?
• show a complete derivation
• edit 
• an inference rule
• how to address all the places that inference rule gets used?
• a derivation
• edit a step
• how to address dangling steps?
• an expression
• where else is that expression used?

functionality

• Latex to AST
• suggest related expressions
• Web interface
• download pkl file
• upload pkl file
• export derivation PNG
• export derivation to PDF
• CAS integration
• validate a single step of a derivation

Rendering

• use d3.js instead of graphviz

visualize trace of flow
convert trace of flow to Selenium script
generate PDG website

host on DigitalOcean droplet
account management

Previous task list:
https://physicsderivationgraph.blogspot.com/2018/07/snapshot-of-milestones-for-physics.html
see also
https://physicsderivationgraph.blogspot.com/2017/06/not-getting-caught-in-details.html