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
99
days inactive
99
days old
termtools@lists.rwth-aachen.de
0 comments
participants
participants (1)
-
Florian Frohn