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

[tlaplus] Where to find the standard libraries


I'm using the TLA+ Toolbox on MacOS and would like to inspect the standard modules like Integers, Sequences and so on.
I know that the specs are printed in the book, but I would like to have the source code.

Where should I look for them on my file system?

Thanks for any hints,

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/7f556d2b-b78b-43e6-bbef-f2098c934d4e%40googlegroups.com.