Allow patterns in cut-rewrite.

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

318 stars 49 forks source link

Closed strub closed 6 months ago

strub commented 7 months ago

It is now possible to use pattern variables in cut-rewrite:

rewrite (_ : pattern = term)

See tests/rw_explicit_eq_with_pattern.ec for examples.