refactor: change memory-effects theorem to a quantifier-free statement#224
Merged
shigoel merged 17 commits intomainfrom memory-effects-proof-as-mem-equalsOct 16, 2024
+167-141
Commits
Commits on Oct 11, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
