Yeah I really dislike that you need neovim or VS to benefit from Infoview

Haven't tried it but there's this community-made REPL https://github.com/leanprover-community/repl