Will graph_editor() ever be supported in Jupyter, or will it eventually be deprecated? .
I ask because I use it a lot to try out conjectures on small examples of graphs.
add a comment