Frederik Krogsdal Jacobsen
Results
2
issues of
Frederik Krogsdal Jacobsen
In some cases, when trying to prove termination by a well-foundedness argument, the generated proof obligations are unprovable due to overlapping variable names which are not correctly handled. The issue...
I am aware that the goal of the proposal is explicitly not to guarantee deliverability, but merely to obtain an email address. I think the text should clearly mention this...