Yep, it has been effectively deprecated for a while, and now gone in new .NET versions. But when it was there, there was a static checker that you could run, and I thought that's where all the Spec# bits ended up in.

.NET 5+ basically doesn't have anything like contracts out of the box anymore.