[submodule "lib/smtcoq"]
	path = lib/smtcoq
	url = https://git.sr.ht/~ymherklotz/smtcoq