Minimal implementation of generalized Clifford algebra library in Lean 4 - View it on GitHub