Skip to content
Check for stage0 changes

feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account #338

Sign in to view logs

feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account

feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account #338

Annotations

1 warning

check-stage0-on-queue

check-stage0-on-queue
succeeded Jan 24, 2025 in 33s