Meeting 9.2: Toric code II and stabilizer formalism

I finish up calculating the distance of the toric code.  I then introduce the stabilizer formalism, which provides a method to construct quantum error correcting codes from classical Boolean linear codes, more precisely, from isotropic subspaces of Z/2Z symplectic vector spaces.