import Lake
open Lake DSL

package «mock-mockingbird»

@[default_target]
lean_lib «Smullyan»