Skip to content
Check whitespace

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

Sign in to view logs

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

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

check-whitespace

check-whitespace
succeeded Feb 28, 2026 in 6s