[Termtools] TODAY: Input for TermComp Presentation

[Claude Marche]

Hello to all,

Congratulations to organizers and participants !

Le 02/07/2020 à 13:38, Yamada, Akihisa a écrit :
> 
> - Larry Paulson submitted a tiny problem to TRS Standard, no tool could 
> handle.
> 
> - Luca Di Stefano submitted seven C programs, no tool could handle.

Could anybody send quick links (I mean direct URLs) to these problems 
please ?

- Claude