Added proof mode to editor - Githubissues

advancedresearch / avatar_graph

A library for Avatar Graphs

MIT License

6 stars 2 forks source link

Added proof mode to editor #29

Closed bvssvni closed 4 years ago

bvssvni commented 4 years ago

Closes https://github.com/advancedresearch/avatar_graph/issues/28

Added Graph::contractibles_of
Added Graph::avatar_connectivity_failures_of