import Lake
open Lake DSL

package «lean-learning» {
  -- add configuration options here
}
