summaryrefslogtreecommitdiff
path: root/tests/coq/misc
diff options
context:
space:
mode:
authorSon Ho2023-07-12 14:34:55 +0200
committerSon Ho2023-07-12 14:34:55 +0200
commita18d899a2c2b9bdd36f4a5a4b70472c12a835a96 (patch)
treeb8bc72479804fcd416fea42478d7e7945845cbe7 /tests/coq/misc
parent6166c410a4b3353377e640acbae9f56e877a9118 (diff)
Finish a first version of the progress tactic
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions