You should be automatically redirected to the
mCRL2 homepage
.