Friendly reminder that this meeting starts in a little more than an hour at 8 am Pacific Time on Teams [1]. Please join if you want to contribute to the development of the TLA+ tools and ecosystem.
Markus
[1] https://teams.microsoft.com/l/meetup-join/19%3ameeting_M2VhMTRhODEtYmYxYi00YWU5LThhM2ItNjFiOGQ0NjkyMDAy%40thread.v2/0?context=%7b%22Tid%22%3a%2272f988bf-86f1-41af-91ab-2d7cd011db47%22%2c%22Oid%22%3a%223fc2706a-8053-4b20-8869-be54ceab53fb%22%7d
> On Nov 22, 2022, at 9:56 AM, Markus Kuppe <tlaplus-go...@xxxxxxxxxxx> wrote:
>
> Hi all,
>
> to foster broad collaborations, we will start hosting monthly meetings to coordinate and discuss ongoing and future TLA+ development. Please join the meetings if you want to become involved or actively contribute to the TLA+ project [1]. The inaugural meeting is on January 10th at 8 am Pacific Time [2].
>
> Markus
>
> [1] https://github.com/tlaplus
> [2] https://calendar.google.com/calendar/embed?src="">