3 Jul
2024
3 Jul
'24
13:52
Dear all,
the TRS and SRS categories are done! I just started the categories C and Logic Programming.
https://termcomp.verify.rwth-aachen.de/Y2024/
Best Florian