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

[Hengfeng Wei <hengxin0912@xxxxxxxxx>]

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

-- 
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/316bc135-1ef3-42df-bcd7-130c966f702ao%40googlegroups.com.