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/
0
Fork 0

Configure Feed

Select the types of activity you want to include in your feed.

lean-ga / docs / misc /
at blueprint 4 files
Eric Wieser Clean up the old readme to accurately reflect what we actually did. The old content is not lost, and has been moved to `misc/goals.md`.
80fd7d63
buchholz2005.md
goals.md
many_faces.md
related.md