3 Jul
2024
3 Jul
'24
1:52 p.m.
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