symgeoalg
symbolic geometric algebra calculations
git clone
git://git.rr3.xyz/symgeoalg
Log
|
Files
|
Refs
|
README
|
LICENSE
lean-toolchain (24B)
1
leanprover/lean4:stable
