diff options
author | vblot <24938579+vblot@users.noreply.github.com> | 2022-02-16 15:20:43 +0100 |
---|---|---|
committer | vblot <24938579+vblot@users.noreply.github.com> | 2022-02-18 13:17:03 +0100 |
commit | 772f19d20ec6af11259c1aea2095547944d63086 (patch) | |
tree | b09a8c5e84eba9d5eb0125f58ca55586d2fba8fb /src/lfsc/tests/wrapper_cvc4tocoq.sh | |
parent | becbd874aeee6a6e73139d56c97e23f29c35a727 (diff) | |
download | smtcoq-772f19d20ec6af11259c1aea2095547944d63086.tar.gz smtcoq-772f19d20ec6af11259c1aea2095547944d63086.zip |
simpler foldi_iter
Diffstat (limited to 'src/lfsc/tests/wrapper_cvc4tocoq.sh')
0 files changed, 0 insertions, 0 deletions