What's the status of the project?

[yaitskov]

Where is Cosette 2.0?

[havardge]

I'm also interested in the status of this project.

[Mestway]

Cosette 2.0 is currently on hold due to the lack of researchers.
We have several experimental work around Cosette going on, but none is ready for release.
You are welcome to shoot us messages at cosette@cs.washington.edu for discussions.