Man pages matching name mcrl2i in section 1:

mcrl2i.1.en

debian 10 / mcrl2