Skip to content

feat(Logic): declare optional simprocs for commuting equality and iff #154532

feat(Logic): declare optional simprocs for commuting equality and iff

feat(Logic): declare optional simprocs for commuting equality and iff #154532

Triggered via pull request April 14, 2026 13:57
@VierkantorVierkantor
created #37850
Status Success
Total duration 7s
Artifacts

labels_from_comment.yml

on: pull_request_review_comment
update-label
3s
update-label
Fit to window
Zoom out
Zoom in