TLA+ slides

[sbublitz24]

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.

[Stephan Merz]

Hello Siegfried,

thank you for the offer. The easiest would be that you put them on some Web site that we can link to from Awesome TLA+ [1]. Would that work for you?

Best,

Stephan

[1] https://github.com/tlaplus/awesome-tlaplus

--
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+u...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/wvrmHTtmQHHrZMGVqrnPT8j15NkorW1HiewUxbOm8gxln7ETIVolCcyGsd_qzGI1M21CELYcy1wQcdOgYNOylRfgJJep5sFwx3HgCHzRiN0%3D%40proton.me.

[sbublitz24]

Hello Stephan,

thank you for the information. I have to check for accessible web sites.

Best,

Siegfried

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

To view this discussion visit https://groups.google.com/d/msgid/tlaplus/60C6C5AB-1A95-457D-BC5C-BFB64375B9B1%40gmail.com.