[submodule "proof-repo"]
	path = proof-repo
	url = git@github.com:coleleavitt/proof-repo.git