I've got a fairly large example [1] in place now, 128 nodes directly under the root, it is the proof assistant from The Little Prover [2]. I hacked at this a bit to get the framerate usable.

Make of it what you will, I find it neat but overwhelming, and this is only 128 definitions.

[1] https://gashlin.net/tests/ecola/langston/dist/

[2] http://the-little-prover.github.io/

Testing with more nodes is definitely on the horizon, that's the main reason for the zoom (besides being visually interesting). Can you suggest a good data set?

You may have to tap on the text box to get the edit to work and engage your keyboard, the auto focus seems to work only about half the time on Firefox for Android so I expect it is problematic on various browsers.

Thanks for the feedback!