Marc Huisinga f220efc5ba doc: update quickstart guide for new display name (#5193) ...

https://github.com/leanprover/vscode-lean4/pull/521 changed the display
name of the VS Code extension so that it can be found more easily when
searching for "Lean" (before it would appear far down in the list). This
PR updates the quickstart guide to reflect this fact.

2024-08-28 13:29:16 +00:00

19 KiB

369x280px

Raw Permalink History