https://github.com/mit-plv/fiat-crypto
Raw File
Tip revision: c59a5eee01cd6d59d0df42c5123bc20283454c53 authored by kritkorn on 01 April 2017, 18:15:53 UTC
make update-_CoqProject
Tip revision: c59a5ee
.gitmodules
[submodule "etc/coq-scripts"]
	path = etc/coq-scripts
	url = https://github.com/JasonGross/coq-scripts.git
back to top