feat: extract_lets and lift_lets tactics#6432
Open
kmill wants to merge 14 commits intoleanprover:masterfrom kmill:extract_lets
+1,955-3
Commits
Commits on Dec 30, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 31, 2024
- committed
- committed