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 /.gitignore | |
| parent | becbd874aeee6a6e73139d56c97e23f29c35a727 (diff) | |
| download | smtcoq-772f19d20ec6af11259c1aea2095547944d63086.tar.gz smtcoq-772f19d20ec6af11259c1aea2095547944d63086.zip | |
simpler foldi_iter
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions