Repo for questions asked in this group

Isaac DeFrain

unread,

Mar 4, 2021, 6:29:06 PM3/4/21

to tla...@googlegroups.com

Hello TLA+ community,

This may interest those of you who are newer to TLA+ (and maybe those who are more experienced). For the past few weeks, I have been writing solutions to some of the questions that have been asked in this group (I'm not aware if anyone else is doing something like this). I can't make any promises as to what questions I will answer or anything wrt a timeline, but nonetheless, I enjoy doing it and I have recently started documenting my efforts here:

https://github.com/Isaac-DeFrain/TLAplusFun

If anyone wants to contribute in any way, I'd appreciate the input! You're also more than welcome to just lurk on the repo. Enjoy!

Best,

Isaac DeFrain

Markus Kuppe

unread,

Mar 4, 2021, 6:37:02 PM3/4/21

to tla...@googlegroups.com

In the interest of minimizing fragmentation, please consider
contributing to the TLA+ examples [1].

M.

[1] https://github.com/tlaplus/examples/

Isaac DeFrain

unread,

Mar 4, 2021, 6:57:33 PM3/4/21

to tla...@googlegroups.com

Will do

--
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 on the web visit https://groups.google.com/d/msgid/tlaplus/fbf22fb0-3bd5-1b7a-5a8a-3ef9f90f4037%40lemmster.de.