[tlaplus] Re: TLA+ Reuse?

[Leslie Lamport <tlaplus.ll@xxxxxxxxx>]

See  this posting from June 2019.

On Monday, January 25, 2021 at 3:27:34 PM UTC-8 scott...@xxxxxxxxx wrote:

Greetings,

I'm brand new to TLA+ so please forgive the newbie question:

Other than examples, is it possible to structure specifications/models/modules/functions so that they can be easily reused by others?  Are there any best practices and/or tooling for sharing such efforts?

Thanksinadvance,

Scott

-- 
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/a7798c6f-f0b7-49f3-93ff-34d1eb6f31c7n%40googlegroups.com.