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/Logging.ml | |
parent | 262cb9d72593b349af522596cbae29dff03525ea (diff) |
Write a tactic to discharge integer literal proof obligations
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions