Skip to content

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

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

Annotations

5 warnings

macOS aarch64

succeeded Jan 23, 2025 in 17m 5s