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

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

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/c35f0822-01f0-d12e-f8eb-4411cd64e7ff%40lemmster.de.