Hi Shane,Looks interesting; before reading, is this an AI-assisted effort or did you write it all yourself?Thanks,AndrewOn Wed, Mar 11, 2026 at 12:26 AM Shane Miller <gshane...@xxxxxxxxx> wrote:Good day,
I've prepared a lengthy paper on TLA with a focus on practical issues. I'm wondering if there's subscribers here who are willing to give me feedback? Find attached: first three pages which includes table of contents. Chapters 12, 13 coming. There's undoubtedly errors that need fixing.If you're interested we can exchange information through Github:
https://github.com/gshanemiller/tla-examples
The full paper and examples are there.Thank you!
--
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...@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/f69e71e8-e803-45f9-9211-3c1d080feb64n%40googlegroups.com.