GitHub repository: pygae/lean-ga
Primary language: Lean
Created: 2020-05-30T05:10:41Z
Description: A partial formalization of Geometric Algebra in the Lean formal proof verification system.