refactor: WF: create unfold theorems eagerly#6898
Draft
nomeata wants to merge 19 commits intomasterfrom joachim/wf-eager-unfold
+209-116
Commits
Commits on Feb 1, 2025
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
- committed
- committed
