1. Make directed graphs from nodes to nodes.
  2. Add a clickable hyperlink to a node.
  3. Search nodes with labels.
  4. Show nodes are connected to the selected node.


  1. Give tags to nodes.
  2. Has minimal UI.
  3. FOSS

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)


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Browse other questions tagged or ask your own question.