issues
search
objectionary
/
normalizer
Command Line Normalizer of 𝜑-calculus Expressions
https://www.objectionary.com/normalizer/
MIT License
7
stars
2
forks
source link
[meeting] [joint] 16.08.2024
#475
Closed
deemp
closed
4 weeks ago
deemp
commented
4 weeks ago
@volodya-lombrozo won't fix the types on his side soon
https://github.com/objectionary/opeo-maven-plugin/issues/389
@yegor256 hasn't yet started building the pipeline with our binaries. He's busy with lobbying the next project
Rules are OK
The proof team writes the article
@fizruk writes the patent #197