lakefile.lean

import Lake
open Lake DSL

package hw9 {
  -- add package configuration options here
}

lean_lib Sets {
  -- add library configuration options here
}

lean_lib Hw9 {
  -- add library configuration options here
}