/lean-ga

A partial formalization of Geometric Algebra in the Lean formal proof verification system.

Primary LanguageLeanMIT LicenseMIT

Stargazers