summaryrefslogtreecommitdiff
path: root/tests/coq/betree
diff options
context:
space:
mode:
authorSon Ho2023-06-09 16:07:39 +0200
committerSon Ho2023-06-09 16:07:39 +0200
commitc034a7ea1335705ca1e1a7461fac257df6757d57 (patch)
treef6a8b5b00f370d34a7037a5753b0180f1d118681 /tests/coq/betree
parente2fef1a5c986aff4c9975b1376bcc0fc0bb87940 (diff)
Start working on extrinsic proofs of termination
Diffstat (limited to 'tests/coq/betree')
0 files changed, 0 insertions, 0 deletions