(Cette page concerne Linux et Mac Os, voir ici pour la version Windows)

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 et tapez :

python3 -m venv deaduction_venv
source deaduction_venv/bin/activate

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

pip install deaduction

• Lancer D∃∀DUCTION :

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. L’environnement virtuel est maintenant créé et le paquet deaduction y est installé ; pour lancer D∃∀DUCTION les fois suivantes en activant l’environnement virtuel, tapez simplement :

source deaduction_venv/bin/activate
deaduction_app

ou même juste

deaduction_venv/bin/deaduction_app

• Pour mettre à jour (après avoir activé 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 :

python3.12 -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…