On 04.03.21 15:28, Isaac DeFrain wrote:
> 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
> <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!
In the interest of minimizing fragmentation, please consider
contributing to the TLA+ examples [1].
M.
[1] https://github.com/tlaplus/examples/
--
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/fbf22fb0-3bd5-1b7a-5a8a-3ef9f90f4037%40lemmster.de.