diff options
| author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-28 01:08:23 +0200 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-10-28 09:57:01 +0100 |
| commit | 6c02c60ee6c72bda1be390a60cae775c255d5dd6 (patch) | |
| tree | 9a6dc0264fa4dfca96670b37f20bc5e5a3c9d8f4 /examples | |
| parent | faaa2848c37444f8f37ac432c25f9f813e1df39b (diff) | |
| parent | bc972f702336605cddf2564c4d0423a826d96c19 (diff) | |
| download | smtcoq-6c02c60ee6c72bda1be390a60cae775c255d5dd6.tar.gz smtcoq-6c02c60ee6c72bda1be390a60cae775c255d5dd6.zip | |
conversion tactics: with a functor
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions