(voir ici pour la version Linux et Mac Os)

D∃∀DUCTION est maintenant disponible sous forme de paquet Python, installable avec pip.

• Il faut disposer de Python, version ≥ 3.8.
• Il est recommandé de créer un environnement virtuel pour ne pas avoir de problème d’interférences avec d’autres paquets. Pour créer et activer un environnement virtuel dans un dossier qui sera nommé deaduction_venv, ouvrez un terminal de commande et tapez :

py -m venv deaduction_venv
deaduction_venv\Scripts\activate

Vous pouvez remplacer la commande « py » par le chemin complet vers l’exécutable python.exe, par exemple :

C:\Users\Name\AppData\Local\Programs\Python\Python312\python -m venv deaduction_venv

• Installer D∃∀DUCTION et toutes ses dépendances Python :

pip install deaduction

• Lancer D∃∀DUCTION :

.\deaduction_venv\bin\deaduction_app

Au premier lancement, une fenêtre s’ouvre et propose de télécharger Lean et Mathlib, à la suite de quoi vous aurez accès au logiciel. Pour lancer D∃∀DUCTION les fois suivantes en activant l’environnement virtuel, tapez simplement :

.\deaduction_venv\bin\deaduction_app

• Pour mettre à jour (sous l’environnement virtuel) :

pip install --upgrade deaduction

---

En cas d’échec…

Une piste est de réessayer avec une version différente de Python. Par exemple installez Python 3.12 et recommencez la procédure en spécifiant cette version pour créer l’environnement virtuel :

C:\Users\Name\AppData\Local\Programs\Python\Python312\python -m venv deaduction_venv

Une fois l’environnement virtuel créé et activé, les commandes pip et python lancent automatiquement la version de Python qui a été utilisée pour la création. Si vous obtenez la même erreur avec deux versions différentes de Python, alors le problème est probablement ailleurs ; si vous obtenez deux erreurs différentes, essayez une troisième version…