diff options
| author | Quentin Garchery <garchery.quentin@gmail.com> | 2019-01-10 17:45:47 +0100 |
|---|---|---|
| committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2019-02-25 15:33:17 +0100 |
| commit | 10041c91e21dce61faca9725d7073f7c21762019 (patch) | |
| tree | 910be2e8f15949e003f52711d7278942593a4964 /examples/Example.v | |
| parent | ec41af7ac01cef7c30785e6dd704381f31e7c2d3 (diff) | |
| download | smtcoq-10041c91e21dce61faca9725d7073f7c21762019.tar.gz smtcoq-10041c91e21dce61faca9725d7073f7c21762019.zip | |
Integer conversion now relies on the injection T2Z and its properties
Diffstat (limited to 'examples/Example.v')
0 files changed, 0 insertions, 0 deletions