A posteriori estimates for the Stokes eigenvalue problem | Synapse