In my case (Lean), I've been getting a lot of help through the Zulip community. There's a dedicated #new_members stream where anybody can ask total beginner questions. It's quite humbling actually when you have someone like Kevin Buzzard answering your noob questions.
I'm sure other solvers (Coq, Idris, etc.) also have online communities where you may be able to ask questions.
The interactive elements really can’t be done justice in looking at readme’s or textbooks alone IMO