name = "initialize"
defaultTargets = ["Initialize"]

[[lean_lib]]
name = "Initialize"