This repository was archived by the owner on Apr 12, 2023. It is now read-only.

Add missing termination proofs#53

Draft

jcp19 wants to merge 5 commits intomasterfrom

missing-termination-proofs2

Commits on Nov 26, 2021

Add missing termination measures
jcp19
committed

Commits on Nov 27, 2021

Commits on Apr 25, 2022

merge with master
jcp19
committed