Proposal: Substrate

We've been told that the Proofs site will enter Private Beta in January 2022. I'm referring to it as "the proofs site" instead of "Proof Assistants" because the latter is not what the majority wants it to be called, but that's beside the main point:

I know that exact launch dates are not usually given, but with two sites reaching 100% commitment at around the same time, I wonder if we could at least know if SE is planning to have both sites enter Private Beta on the same day, or to perhaps stagger their launches a little bit. I personally would like to participate in them both, but the initial stages of a Private Beta can be quite hectic and chaotic so I wouldn't mind if the launches were to be staggered a bit!

  • @HenryWHHackv3.0b that would be good news! I wouldn't even mind two weeks in between! Dec 20, 2021 at 0:33
  • Hey any update on when this will happen?
    – Nuke
    Jan 17, 2022 at 17:05


Browse other questions tagged .