[tlaplus] TLA+ wiki: https://docs.tlapl.us/

[Federico Ponzi <fponzi.me@xxxxxxxxx>]

Hello,

At https://docs.tlapl.us/, you'll find a new wiki (based on DokuWiki) that we've created as an effort to improve the state of documentation for TLA+ and its tools. We encourage you to register an account and contribute in any way you see fit. If you spot mistakes or think something could be improved, feel free to make updates. Let’s work together to make this resource as valuable as possible!

A big thanks to Markus for helping set up the wiki.

Federico

-- 
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/8310799e-b497-460a-9c89-f3f1a25a7e5an%40googlegroups.com.