Open Documentation View

Stream: new members

[Alistair Tucker]

Sorry for the noise. Zulip's search function isn't working for me so I don't know if this has been asked before.

When I run Lean 4: Open Documentation View in VS Code, I am given four options: Theorem Proving in Lean, Reference Manual, Abbreviations cheat sheet and Example. The last two links basically work (though it sometimes takes more than one click) but the first two don't at all. Is there another way of opening Theorem Proving in Lean within VS Code?

[Alistair Tucker]

Search function working now