NOTE: This site has just upgraded to Forester 5.x and is still having some style and functionality issues, we will fix them ASAP.

Motivation [spin-000R]

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.