symgeoalg

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

lean-toolchain (24B)

      1 leanprover/lean4:stable