symgeoalg

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

lakefile.lean (208B)

      1 import Lake
      2 open Lake DSL
      3 
      4 require batteries from git "https://github.com/leanprover-community/batteries" @ "main"
      5 
      6 package «symgeoalg» where
      7 
      8 @[default_target]
      9 lean_exe «symgeoalg» where
     10   root := `Main