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 / src / for_mathlib / algebra /
at blueprint 4 files
Eric Wieser Update Lean and mathlib
200af298
algebra_operations.lean
center_submonoid.lean
filtration.lean
monoid_algebra.lean