Recordings TLA+ Conf 2021

40 views
Skip to first unread message

Markus Kuppe

unread,
Oct 11, 2021, 2:37:21 PM10/11/21
to tla...@googlegroups.com
Hi,

the recordings of TLA+ Conf 2021 (including Q&A) are now online at
https://www.youtube.com/watch?v=QKCG3tz4mOU&list=PLWLcqZLzY8u9kzmWgs3HPRm3Cw85LTpD2.

Markus
Reply all
Reply to author
Forward
0 new messages