https://github.com/mit-plv/fiat-crypto
Tip revision: 0df26cdadb533c71f8af9dcfd6e2acab4f89514b authored by jadep on 05 February 2019, 18:17:38 UTC
change q_nbits to nat, make helper for mapping on matrices
change q_nbits to nat, make helper for mapping on matrices
Tip revision: 0df26cd
.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