This survey is built on my notes in the process of figuring out Eric Wieser's MathOverflow question Definition of a spin group for our PR to Lean 4's Mathlib about Spin groups.
This is my first Forester experiment, also a spiritual successor to my writeup The Many Faces of Geometric Algebra.