My working branch of "A partial formalization of Geometric Algebra in the Lean formal proof verification system", with a focus on the blueprint. utensil.github.io/lean-ga/blueprint/