I keep vacillating between "formal verification is cool and fun" and "these are just academic toys that will never be mainstream".
Why is this step necessary? mastodon.social 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