Skip to content
Label PR based on Comment

fix: do not include internal match equational theorems at simp trace #4366

Sign in to view logs

fix: do not include internal match equational theorems at simp trace

fix: do not include internal match equational theorems at simp trace #4366

This job was skipped