summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-no_nested_borrows
diff options
context:
space:
mode:
authorSon Ho2023-07-03 18:02:52 +0200
committerSon Ho2023-07-03 18:02:52 +0200
commit9214484c471ad931924865855687f9a2ffe255dd (patch)
tree2569a0c257945b418bb5a52e28f8b8ae368f1a8a /tests/hol4/misc-no_nested_borrows
parent7ceab6a725e5bd17c05bfd381753e453b15afaf7 (diff)
Automate the proofs of the unfolding theorems for Diverge
Diffstat (limited to 'tests/hol4/misc-no_nested_borrows')
0 files changed, 0 insertions, 0 deletions