- Make directed graphs from nodes to nodes.
- Add a clickable hyperlink to a node.
- Search nodes with labels.
- Show nodes are connected to the selected node.
- Give tags to nodes.
- Has minimal UI.
The idea is to make each theorem/axiom a node and make an edge/edges to a conclusion from the premise(s). (the link is for proof pdf)