And then there is Gingko[1], a beautiful, keyboard-shortcutted, markdown-enabled tree editor that exports to html, markdown, LaTeX, docx, impress.js, and json.

And then there is Gingko[1], a beautiful, keyboard-shortcutted, markdown-enabled tree editor that exports to html, markdown, LaTeX, docx, impress.js, and json. Gingko provide templates for Timelines, Screenplays, GTD and Academic papers, but I can imagine using it for complex formal proofs — I mostly use it for Microscope[2] and worldbuilding[3]. Right now it doesn't have any programmatic/computing capacity, but Gingko is eminently user friendly, so if Adriano[4] ever implemented a plugin system (or if someone wrote a Gingko-node-crunching chrome extension) I would imagine it to be a very enjoyable interface for editing trees. 1. https://gingkoapp.com/?ref=f32636d1 https://gingkoapp.com/?ref=f32636d1 2. http://www.lamemage.com/microscope/ http://www.lamemage.com/microscope/ 3. https://www.reddit.com/r/worldbuilding https://www.reddit.com/r/worldbuilding 4. https://twitter.com/adrianoferrari https://twitter.com/adrianoferrari Disclosure: I don't have any affiliation with Gingko, but that is my referral link. ;)