feat: lift to expressions, vacuous and random_search tactics#7
Open
siddhartha-gadgil wants to merge 31 commits intoleanprover-community:mainfrom siddhartha-gadgil:main
+1,312-7
Commits
Commits on Nov 18, 2024
Commits on Nov 19, 2024
Commits on Nov 20, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 21, 2024
Commits on Nov 22, 2024
Commits on Nov 23, 2024
- committed
- committed
- committed
Commits on Nov 25, 2024
Commits on Nov 26, 2024
Commits on Nov 28, 2024
Commits on Nov 29, 2024
Commits on Nov 30, 2024
- committed
- committed