[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Repo for questions asked in this group
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:
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 .
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.