diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-04-22 00:12:24 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-22 00:12:24 +0100 |
| commit | 83998e544f51f06026fb32d115b74f9d1303e629 (patch) | |
| tree | 74b223dced6129af2e6943c310a73201ef9391e0 /src/Simulator.v | |
| parent | 5e440ccec06e740c0ee8dc8eb0e54a7284d5aef7 (diff) | |
| download | vericert-83998e544f51f06026fb32d115b74f9d1303e629.tar.gz vericert-83998e544f51f06026fb32d115b74f9d1303e629.zip | |
Remove unnecessary Lemma
Still cannot run these functions inside Coq itself, however, they work
when they are extracted to Caml.
Diffstat (limited to 'src/Simulator.v')
0 files changed, 0 insertions, 0 deletions