Installer Git for Windows L'installateur pose beaucoup de questions mais les réponses par défaut conviennent.
curl https://raw.githubusercontent.com/Kha/elan/master/elan-init.sh -sSf | sh
Installer Visual Studio Code. Les réponses par défaut conviennent pour toutes les questions posées par l'installateur.
Lancer VScode, cliquer sur l'icône « extensions » dans la barre d'icônes à gauche, chercher leanprover. Cliquer sur Install puis sur Reload quand l'installation est terminée.
Télécharger m114.zip et le décompresser
Dans VScode, menu fichier, cliquer sur « Open folder » (ou « Ouvrir dossier » s'il est en français) et sélectionner le répertoire créé par la décompression de m114.zip (c'est le répertoire qui contient leanpkg.toml
pas un répertoire qui contient directement des fichiers .lean). Ensuite ouvrir un fichier Lean comme d'habitude
sudo apt install git curl
.curl https://raw.githubusercontent.com/Kha/elan/master/elan-init.sh -sSf | sh
source ~/.elan/env
Installer Visual Studio Code. Les réponses par défaut conviennent pour toutes les questions posées par l'installateur.
Lancer VScode, cliquer sur l'icône « extensions » dans la barre d'icônes à gauche, chercher leanprover. Cliquer sur Install puis sur Reload quand l'installation est terminée.
Télécharger m114.zip et le décompresser
Dans VScode, menu fichier, cliquer sur « Open folder » (ou « Ouvrir dossier » s'il est en français) et sélectionner le répertoire créé par la décompression de m114.zip (c'est le répertoire qui contient leanpkg.toml
pas un répertoire qui contient directement des fichiers .lean). Ensuite ouvrir un fichier Lean comme d'habitude