symgeoalg

symbolic geometric algebra calculations
git clone git://git.rr3.xyz/symgeoalg
Log | Files | Refs | README | LICENSE

README (278B)

      1 Symbolic geometric algebra calculations in Lean
      2 
      3 This is a work in progress. The original goal was merely to do symbolic
      4 calculations to hard-code geometric algebra formulae in a work-in-progress
      5 computer graphics library, but I got carried away and started having fun in
      6 Lean.