[submodule "proof-repo"]
	path = proof-repo
	url = [email protected]:coleleavitt/proof-repo.git