diff options
| author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-27 00:42:09 +0200 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-27 10:19:26 +0200 |
| commit | bc972f702336605cddf2564c4d0423a826d96c19 (patch) | |
| tree | 9b0fe1cb7d19bf2c05100a6a9b184a78efdec49d /examples | |
| parent | db9bb4f7ba88c938e882f9a30c6456d73b793491 (diff) | |
| download | smtcoq-bc972f702336605cddf2564c4d0423a826d96c19.tar.gz smtcoq-bc972f702336605cddf2564c4d0423a826d96c19.zip | |
conversion tactics: with a functor
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions