https://github.com/mit-plv/fiat-crypto
Raw File
Tip revision: 641088f60c8d29eafa8b76fc9d7ca67adc2b176d authored by jadep on 16 March 2017, 01:56:17 UTC
Merge branch 'karatsuba'
Tip revision: 641088f
.gitmodules
[submodule "etc/coq-scripts"]
	path = etc/coq-scripts
	url = https://github.com/JasonGross/coq-scripts.git
back to top