cotalks.dev
Orgs
Login
You Deserve Unicode TLA+, and Other Nice Things Too
(link)
Speakers:
Andrew Helwer
Event:
TLA+ Conf 2024
|
2024
Topics:
#backend
Channel:
Markus Kuppe
note
generate note
unsorted
todo
resolved
completed
canceled
submit