3 Jul
2024
3 Jul
'24
8:44 a.m.
Dear all, I just started TRS Standard. You can see the current state here https://termcomp.verify.rwth-aachen.de/Y2024/ and in the lobby of the building where IJCAR takes place. Best Florian
171
Age (days ago)
171
Last active (days ago)
0 comments
1 participants
participants (1)
-
Florian Frohn