https://github.com/mit-plv/fiat-crypto
Tip revision: 7d2fe91408c7f1fec5a6f7d2b90ced5c044acfac authored by Andres Erbsen on 05 July 2022, 19:47:13 UTC
Rewriter.Rules: simplify if true, if false
Rewriter.Rules: simplify if true, if false
Tip revision: 7d2fe91
.gitmodules
[submodule "etc/coq-scripts"]
path = etc/coq-scripts
url = https://github.com/JasonGross/coq-scripts.git
[submodule "coqprime"]
path = coqprime
url = https://github.com/thery/coqprime
ignore = dirty
[submodule "rewriter"]
path = rewriter
url = https://github.com/mit-plv/rewriter.git
[submodule "rupicola"]
path = rupicola
url = https://github.com/mit-plv/rupicola.git