summaryrefslogtreecommitdiff
path: root/tests/coq/misc
diff options
context:
space:
mode:
authorSon Ho2023-10-17 09:36:55 +0200
committerSon Ho2023-10-17 09:48:47 +0200
commit584726e9c4e4378129a35f6cfbbbf934448d10a9 (patch)
tree4e9c385d1115e71acb7581ab998320af867830bc /tests/coq/misc
parent2ec2e374302c772ff2c6a26e39451b4e49e13a16 (diff)
Implement tactics for termination proofs which involve arithmetic
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions