Starred repositories
3
stars
written in Lean
Clear filter
A project to map out the relations between different equational theories of Magmas.
A partial formalization of Geometric Algebra in the Lean formal proof verification system.