fix: have simpa ... using ... do exact-like checks#5648
Merged
kmill merged 10 commits intoleanprover:masterfrom kmill:fix_5634Oct 8, 2024
+177-22
Commits
Commits on Oct 8, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
