symgeoalg

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

lake-manifest.json (412B)

      1 {"version": "1.0.0",
      2  "packagesDir": ".lake/packages",
      3  "packages":
      4  [{"url": "https://github.com/leanprover-community/batteries",
      5    "type": "git",
      6    "subDir": null,
      7    "rev": "d2b1546c5fc05a06426e3f6ee1cb020e71be5592",
      8    "name": "batteries",
      9    "manifestFile": "lake-manifest.json",
     10    "inputRev": "main",
     11    "inherited": false,
     12    "configFile": "lakefile.lean"}],
     13  "name": "symgeoalg",
     14  "lakeDir": ".lake"}