Post #1407245
2026-03-20 15:19 UTC
@gallais was wondering who tf that guy was
Replies (1)
-
@gallais@mamot.fr 2026-03-20 15:22
@maxsnew We may be talking about different guys but in this instance: someone I have cited more than a few times for their great NbE-related work and its application to termination checking. Hence why I even bothered to have a look to try to see what brought us here.