script/lakefile.toml - third_party/github.com/leanprover/lean4 - Git at Google


            
            name = "scripts"


            [[lean_exe]]

            
            name = "modulize"

            
            root = "Modulize"
	name = "scripts"

	[[lean_exe]]
	name = "modulize"
	root = "Modulize"