This PR updates the README.md to reference the setup guide and the manual instead of duplicating lots of stale information. It also duplicates this README to the vscode-lean4 folder so that the VS Code marketplace can pick it up.
Some other outdated information is adjusted as well.
This PR updates the README.md to reference the setup guide and the manual instead of duplicating lots of stale information. It also duplicates this README to the vscode-lean4 folder so that the VS Code marketplace can pick it up.
Some other outdated information is adjusted as well.