3 ms·
I've made "proof graphs" with GraphViz, but honestly it was something of a challenge to make them look how I wanted them to. Compared to the time I spent drawin
by naftaliharris 13y ago
I've made "proof graphs" with GraphViz, but honestly it was something of a challenge to make them look how I wanted them to. Compared to the time I spent drawing the graph on paper, (ie, collecting the statements and theorems), making the GraphViz version look okay took a long time.
http://www.naftaliharris.com/blog/mc-graph/ http://www.naftaliharris.com/blog/mc-graph/
http://www.naftaliharris.com/blog/mg-graph/ http://www.naftaliharris.com/blog/mg-graph/
- pcmonk 13y agoThose graphs are good examples of what I want to be able to make. You bring up a critically important point, though: I must be able to write graphs very quickly, easily, and painlessly, like I use vim to write text or Trello for to-do lists. Most tree-editing interfaces are painfully inefficient and slow to use (and are far too reliant on the mouse).
- Natsu 13y agoSpeaking as someone who has used graphvis before, those examples are one possible mode of output. The input for the graphvis programs are plain text files. See: https://en.wikipedia.org/wiki/DOT_%28graph_description_language%29 https://en.wikipedia.org/wiki/DOT_%28graph_description_langu...
- hyp0 13y agoTouch screens might help.