feat(Tactic/Simproc): support Prop-valued dependent quantifiers in existsAndEq
#178006
Triggered via pull request
August 28, 2026 09:38
vasnesterov
vasnesterov
synchronize
#43059
Status
Success
Total duration
1m 10s
Artifacts
–
PR_summary.yml
on: pull_request_target
post-or-update-summary-comment
1m 8s