Re: [tlaplus] TLA+ website is down

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

Thank you for bringing this to our attention.  You can also access the videos on YouTube [1], on GitHub [2], and on a (bandwidth-limited) mirror site [3].

M.

[1] https://www.youtube.com/channel/UCajiu4Cj_GHOX0if3Up-eRA
[2] https://github.com/tlaplus/lecture
[3] https://tla.msr-inria.inria.fr/video/

> On Dec 27, 2024, at 6:41 AM, Russell Brown <russell@xxxxxxxxx> wrote:
> 
> I don't think so. Or it only kind of is. The video lecture series videos are not available. Or at least video 4 (which I was half way through) are not currently available.

-- 
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 visit https://groups.google.com/d/msgid/tlaplus/BAAC36C8-EDA2-4BBA-88AF-F579F9A1CBF3%40lemmster.de.