In subst, when crossing a binding, remove the bound variable. - Githubissues

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

321 stars 49 forks source link

In subst, when crossing a binding, remove the bound variable. #453

Closed strub closed 1 year ago

strub commented 1 year ago

If not, the substitution can lead to name captures.