Skip to content
CI

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

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

Annotations

1 warning

Build matrix complete

Build matrix complete
succeeded Jan 23, 2025 in 1s