issues
search
objectionary
/
normalizer
Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7
stars
2
forks
source link
Some dataization tests fail for built-in rules
#466
Open
deemp
opened
1 month ago
deemp
commented
1 month ago
PR:
https://github.com/objectionary/normalizer/pull/465
Workflow:
https://github.com/objectionary/normalizer/actions/runs/10213896280/job/28260242140?pr=465#step:6:207