Re: [tlaplus] How to approach modelling time?

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

Hi,

please note the recent and ongoing discussion related to the approach in this Github PR: https://github.com/tlaplus/Examples/pull/97

Markus

> On Oct 22, 2024, at 5:54 AM, 'Sam Bacha' via tlaplus <tlaplus@xxxxxxxxxxxxxxxx> wrote:
> 
> There is also your lovely blog post, https://ahelwer.ca/post/2023-11-01-tla-finite-monotonic/
> 
> It is reproduced along with the code examples in the Examples' repo on GitHub: https://github.com/tlaplus/Examples/blob/master/specifications/FiniteMonotonic/BlogPost.md


-- 
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 visit https://groups.google.com/d/msgid/tlaplus/4F32B1E8-8616-4B53-A151-FBC14527B142%40lemmster.de.