[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Repo for questions asked in this group

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!


Isaac DeFrain

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/CAM3xQxEt8grS9ddQoLtWBPWXbLHKnrbzG93g2Wyk2O43-SmaeA%40mail.gmail.com.