Grinvin is a software package for studying graphs, their properties (invariants) and the relations between these properties. it has been designed to optimally support the user in learning graph theory by means of examples and by experimenting with graphs and their properties.