GrInVin is a free program for student investigation of graphs and graph invariants, developed by Gunnar Brinkmann at the University of Ghent. The program and its features will be described, as well as a pedagogical approach that aims to introduce non-math majors to proof techniques in a simulated mathematical research environment.