pygae / lean-ga

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

pygae/lean-ga Stargazers