summaryrefslogtreecommitdiff
path: root/compiler/Assumed.ml
diff options
context:
space:
mode:
authorJonathan Protzenko2023-01-23 18:43:45 -0800
committerSon HO2023-06-04 21:44:33 +0200
commitdee74ca1f90acb076289286f6f69df65e63604ce (patch)
tree50ddfb09bf11b20a688021c2413f45213c2c2450 /compiler/Assumed.ml
parent262cb9d72593b349af522596cbae29dff03525ea (diff)
Write a tactic to discharge integer literal proof obligations
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions