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