[tlaplus] TLA+ slides

["'sbublitz24' via tlaplus" <tlaplus@xxxxxxxxxxxxxxxx>]

Hi TLA+ enthusiasts.

I am currently preparing slides for an adademic lesson I will give on TLA+ in autumn in Germany.

If this can be helpful, I would provide the slides to the community.

Please let me know if this is the case and give a hint where to upload.

Currently, the slides are PDF (generated from LaTeX Beamer with pandoc and other tools)

 in German language.

Thanks,

Siegfried Bublitz

Gesendet mit Proton Mail: Ein sicherer E-Mail-Dienst.

-- 
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/wvrmHTtmQHHrZMGVqrnPT8j15NkorW1HiewUxbOm8gxln7ETIVolCcyGsd_qzGI1M21CELYcy1wQcdOgYNOylRfgJJep5sFwx3HgCHzRiN0%3D%40proton.me.