Skip to content
Back to pull request #6123

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

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 #2119

This job was skipped