GitHub repository: math1um/objects-invariants-properties
Primary language: Python
Description: Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/