Extend clear tactic to allow clearing *all* unused items in the context recursively#713
Merged
strub merged 1 commit intoEasyCrypt:mainfrom oskgo:clean-allFeb 21, 2025
+51-12
