I kinda wanna get into formal verification of software, but I have no idea where to start and I'm definitely not good enough at anything involved with it.
Why is this step necessary? niu.moe might not be the server where you are registered, so we need to redirect you to your home server first.
Don't have an account? You can sign up here