.gitmodules - third_party/github.com/leanprover/lean4 - Git at Google


            
            [submodule "lake"]

            
                    path = src/lake

            
                    url = https://github.com/leanprover/lake.git

            
                    ignore = untracked
	[submodule "lake"]
	path = src/lake
	url = https://github.com/leanprover/lake.git
	ignore = untracked