[tlaplus] TLA+ Community Modules

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

Hi,

we have started a repository [1] for the TLA+ community to share useful
snippets, operators, and modules.  The goal is to make it easier for all
of us to write specifications by having a richer module library.
Additionally, some of these modules can have overrides that make
model-checking faster.  We have already seeded the repository with
several modules [2] with common operators for functions, sequences, and
relations next to others that connect TLC to its environment.
Please help us grow the repository by adding, extending, or improving
modules.  If you want to help but don't know how to do that, please
reach out to me.

Thanks,
Markus

[1] https://github.com/tlaplus/CommunityModules
[2] https://github.com/tlaplus/CommunityModules/tree/master/modules

-- 
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/c13dd464-8664-70b1-7f88-7a66a0041a52%40lemmster.de.