summaryrefslogtreecommitdiff
path: root/tests/lean/misc-loops
diff options
context:
space:
mode:
authorSon Ho2023-01-27 23:42:15 +0100
committerSon HO2023-06-04 21:54:38 +0200
commit89cade9327311b2ad4e1eff1f530a811a37dee41 (patch)
treeed23d36fa56d6a84e86984bf2a90de1275aef34f /tests/lean/misc-loops
parenta11774e6f501dae120f7a315e32c50981adb3358 (diff)
Reorganize the HOL4 files and fix some issues with the arithmetic proofs
Diffstat (limited to 'tests/lean/misc-loops')
0 files changed, 0 insertions, 0 deletions