Will graph_editor() ever be supported in Jupyter, or will it eventually be deprecated? .

asked 2020-02-14 03:14:57 -0500

jlau gravatar image

I ask because I use it a lot to try out conjectures on small examples of graphs.

edit retag flag offensive close merge delete