Skip to content
Check PR body for changelog convention

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-pr-body
1s
1s