diff options
| author | Jonathan Protzenko | 2023-01-23 18:43:45 -0800 |
|---|---|---|
| committer | Son HO | 2023-06-04 21:44:33 +0200 |
| commit | dee74ca1f90acb076289286f6f69df65e63604ce (patch) | |
| tree | 50ddfb09bf11b20a688021c2413f45213c2c2450 /compiler/InterpreterPaths.mli | |
| parent | 262cb9d72593b349af522596cbae29dff03525ea (diff) | |
Write a tactic to discharge integer literal proof obligations
Diffstat (limited to 'compiler/InterpreterPaths.mli')
0 files changed, 0 insertions, 0 deletions