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

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

Annotations

1 warning

check-stage0-on-queue

check-stage0-on-queue
succeeded Jan 22, 2025 in 37s