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] 12.07.2024
#433
Closed
deemp
closed
1 month ago
deemp
commented
2 months ago
Use *, skip more general context for now @fizruk
Release, notify others @deemp
Wait for @yegor256 to create patent template on Overleaf (slides and paper) and fill in some content
Search for (rewrite+partial evaluation) solutions/patents @fizruk