No - I think it mostly works but if I hover over something then there is no pop up but if I click then I get the type in the echo area *but* only some of it as the echo area is not big enough and I haven't found a way to make it bigger.

I also can’t get emacs to work properly with lean so I am hopping between emacs and visual studio