specsharp still on codeplex?

[btreut]

readme.md says " If you are interested in the source code for these CCI libraries you can find a very similar code in Spec# project on this site." but I can't find anything here on github, so I guess that this sentence refers to Codeplex project and the archive over there.

Are these references still current/valid?

BTW: ETHZ has apparently deleted most archived stuff for Oberon and Zonnon, so the Zonnon link appears to be dead, better redirect to archive.org