import Lake
open Lake DSL

package bliku

lean_lib Bliku

lean_exe bliku_test where
  root := `BlikuTest