[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] TLA+ project meeting video or minutes
Hi Karolis,
we did not record the last two meetings.
The main topic of yesterday’s conversation was Sam Miller presenting how other projects in the formal methods space organize their documentation.
Markus
> On Apr 12, 2023, at 12:53 PM, Karolis Petrauskas <k.petrauskas@xxxxxxxxx> wrote:
>
> Hello,
>
> Is there a video or minutes of the latest two TLA+ project meetings?
> I unsuccessfully tried looking for them on YouTube and found no email on this in the mailing list either.
>
> Best regards,
> Karolis Petrauskas
--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/EF510F3E-FCC7-4AF5-A2CD-48FBA228F201%40lemmster.de.