feature request : rename or select assumptions after they have been introduced

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

320 stars 49 forks source link

feature request : rename or select assumptions after they have been introduced #553

Open sobornostea opened 5 months ago

sobornostea commented 5 months ago

When introducing assumptions with move => * I will sometimes want to use the unnamed assumptions afterwards, it'd be nice to be able to rename or select them after their introduction.

Something like being able to rename the n-th assumption or select them with some matching