Article about TLA+ in Quanta magazine yesterday
54 views
Skip to first unread message
Andrew Helwer
May 18, 2022, 12:49:28 PM5/18/22
to tlaplus
Interview with Leslie about various topics, especially TLA+:
Reply all
Reply to author
Forward
0 new messages