The ProSeCo project page has moved to
https://yair-schiff.github.io/proseco/
.