f220efc5ba
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. |
||
|---|---|---|
| .. | ||
| code-ext.png | ||
| code-success.png | ||
| code-wsl.png | ||
| install_elan.png | ||
| monads.dgml | ||
| monads.svg | ||
| setup_guide.png | ||
| show-setup-guide.png | ||
| widgets_caas.png | ||
| widgets_rubiks.png | ||
