How to download and setup lean4-mode
Open terminal and run command
git clone https://github.com/leanprover/lean4-mode.git
git clone is used to create a copy or clone of lean4-mode repositories.
You pass git clone a repository URL. it supports a few different network protocols and corresponding URL formats.
Also you may download zip file with lean4-mode https://github.com/leanprover/lean4-mode/archive/master.zip
Or simply clone lean4-mode with SSH
[email protected]:leanprover/lean4-mode.git
If you have some problems with lean4-mode
You may open issue on lean4-mode support forum (system) here: https://github.com/leanprover/lean4-mode/issuesSimilar to lean4-mode repositories
Here you may see lean4-mode alternatives and analogs
themecreator dracula-theme lazyblorg spacemacs dotfiles dotfiles Emacs-Elisp-Programming eslint_d.js books-pdf remacs merlin helm-gitignore import-js term-plus-el cider nyxt awesome-emacs magit projectile helm use-package know-your-http-well flycheck doomemacs Spacemacs-rocks smartparens slime intero lsp-mode Indium