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