utensil.tngl.sh / lean-ga
My working branch of "A partial formalization of Geometric Algebra in the Lean formal proof verification system", with a focus on the blueprint. utensil.github.io/lean-ga/blueprint
Star
Fork 0
Watch
Open Merged Closed
New
No PRs yet.