summaryrefslogtreecommitdiff
path: root/tests/fstar
diff options
context:
space:
mode:
authorSon Ho2023-03-07 09:42:43 +0100
committerSon HO2023-06-04 21:44:33 +0200
commit1d33206096d019d4593fd11e4257b0d786666d87 (patch)
treec92968069dc08c3d138e5bb2ab16154d8cceff60 /tests/fstar
parentdb8cca3c3177fec2e66634366a6621ca979c0dc9 (diff)
Consistently use the names TerminationMeasure and DecreasesProof
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions