issues
search
objectionary
/
normalizer
Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
7
stars
2
forks
source link
Fix report directory
#411
Closed
deemp
closed
1 month ago
deemp
commented
1 month ago
https://github.com/objectionary/normalizer/actions/runs/9480864591
https://github.com/objectionary/normalizer/actions/runs/9480864591