GitHub repository: utensil/lean-ga
Primary language: Lean
Description: A partial formalization of Geometric Algebra in the Lean formal proof verification system.