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 /
at blueprint 2 folders 1 file
Eric Wieser fix build error
7b3cd1a7
algebra
linear_algebra
README.md
README.md

Non-GA code to contribute to Mathlib#

This directory contains definitions and lemmas that the authors consider gaps in mathlib. Each file in this directory corresponds roughly to the location in mathlib where the contribution should go. Not every file is "mathlib-ready".