| Mode | Name | Size |
| -rw-r--r-- | .gitignore | 1L |
| -rw-r--r-- | LICENSE | 15L |
| -rw-r--r-- | Main.lean | 445L |
| -rw-r--r-- | README | 6L |
| -rw-r--r-- | lake-manifest.json | 14L |
| -rw-r--r-- | lakefile.lean | 10L |
| -rw-r--r-- | lean-toolchain | 1L |
| symgeoalgsymbolic geometric algebra calculations |
| git clone git://git.rr3.xyz/symgeoalg | |
| Log | Files | Refs | README | LICENSE |
| Mode | Name | Size |
| -rw-r--r-- | .gitignore | 1L |
| -rw-r--r-- | LICENSE | 15L |
| -rw-r--r-- | Main.lean | 445L |
| -rw-r--r-- | README | 6L |
| -rw-r--r-- | lake-manifest.json | 14L |
| -rw-r--r-- | lakefile.lean | 10L |
| -rw-r--r-- | lean-toolchain | 1L |