Skip to content
Check whitespace

[ breaking ] change fieldname _≟_ to _≈?_ in IsDecEquivalence #2440

Sign in to view logs

[ breaking ] change fieldname _≟_ to _≈?_ in IsDecEquivalence

[ breaking ] change fieldname _≟_ to _≈?_ in IsDecEquivalence #2440

check-whitespace

check-whitespace
succeeded Feb 27, 2026 in 6s