Вы будете перенаправлены на сайт:

https://emi-h.com/articles/typechecking-mcrl2

через 10 сек.

Если Вы не знаете как сюда попали, тогда можно
отменить переход и закрыть окно