Current status of this project

[hengxin]

Hi Parv Mor, I am interested in this project. Would you mind letting me know the current status of it? Is it finished? Thanks.

[hengxin]

And what about the in-progress project which requires writing a TLA+ spec/proof of the Concurrent SCC algorithm, proposed here?