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 bi

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/ https://gashlin.net/tests/ecola/langston/dist/ [2] http://the-little-prover.github.io/ http://the-little-prover.github.io/