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

Re: [tlaplus] Looking for Module SequencesExt for RFC9293 Example by Markus Kuppe

https://github.com/tlaplus/communitymodules/?tab=readme-ov-file#how-to-use-it

M.

> On Aug 19, 2024, at 1:31 PM, Simon Singh <simon.singh@xxxxxxxxxxxxx> wrote:
> 
> Hi,
> 
> The spec by Markus
> https://github.com/tlaplus/Examples/blob/master/specifications/tcp/tcp.tla
> uses a module "SequencesExt"
> 
> How can I get it? Thanks
> 
> Best regards
> Simon Singh

-- 
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/97DEFBF1-2823-4BD9-9E2A-AEBBDB4F41B2%40lemmster.de.