Skip to content
CI

fix: propagate Simp.Config when reducing terms and checking definitional equality in simp #25191

Sign in to view logs

fix: propagate Simp.Config when reducing terms and checking definitional equality in simp

fix: propagate Simp.Config when reducing terms and checking definitional equality in simp #25191

This job was skipped