https://github.com/mit-plv/fiat-crypto
Tip revision: 6fea4500019df2d320e2c62fc25c4b03da72659c authored by Jason Gross on 03 July 2022, 02:52:06 UTC
Merge pull request #1310 from JasonGross/sp2019latest+strict-hints
Merge pull request #1310 from JasonGross/sp2019latest+strict-hints
Tip revision: 6fea450
.gitmodules
[submodule "etc/coq-scripts"]
path = etc/coq-scripts
url = https://github.com/JasonGross/coq-scripts.git
[submodule "bbv"]
path = bbv
url = ../../mit-plv/bbv.git
[submodule "coqprime"]
path = coqprime
url = https://github.com/thery/coqprime
ignore = dirty