If you look on the main (largest, 64 LQFP) chip of the Teensy 3.1 vs 3.0, there will be a marking that will tell you which it is.
Top line, Teensy 3: MK20DX128
Second line, Teensy 3: VLH5
Top line, Teensy 3.1: MK20DX256
Second line, Teensy 3.1: VLH7
Students shouldn't have a problem seeing...