issues
search
JetBrains
/
arend-lib
Apache License 2.0
79
stars
23
forks
source link
Add Term Rewriting Systems
#38
Closed
knisht
closed
2 years ago