Re: [tlaplus] To find the web page that contains a to-do list of projects on TLA+ and TLAPS

[Hengfeng Wei <hengxin0912@xxxxxxxxx>]

Dear Markus,

Thanks. That is what I want to find.

Hengfeng

On Sunday, July 5, 2020 at 11:12:03 PM UTC+8, Markus Alexander Kuppe wrote:

On 05.07.20 03:43, Hengfeng Wei wrote:
> Dear all,
>
> As far as I can recall, there is a web page that maintains a to-do list
> of research projects on TLA+ and TLAPS.
> One of the projects is to implement the concurrent SCC algorithm for
> liveness checking.
> However, I cannot find this web page now.
> Do you know it?
>
> Best regards,
> Hengfeng

https://github.com/tlaplus/tlaplus/blob/master/general/docs/contributions.md

Markus

-- 
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/2756482d-a5ba-4b19-bc4d-e46dba6f2e1fo%40googlegroups.com.