1  name = "Untitled"
 2  version = "0.1.0"
 3  defaultTargets = ["untitled"]
 4  
 5  [[lean_lib]]
 6  name = "Untitled"
 7  
 8  [[lean_exe]]
 9  name = "untitled"
10  root = "Main"