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 /
at blueprint 1 folder
utensil Rehaul
4ab40351
misc