Skip to content

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

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

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

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

bot_fix_style.yaml

on: pull_request_review
Fix style issues from lint
5s
Fix style issues from lint
Fit to window
Zoom out
Zoom in