Prove termination of diff algorithm implementation - #37

Prove termination of diff algorithm implementation#37

ninioArtillero wants to merge 17 commits into

seereason:masterseereason/Diff:masterfrom

tweag:xg/ses-terminationtweag/Diff:xg/ses-terminationCopy head branch name to clipboard