You should be automatically redirected to the mCRL2 homepage.