{"id":293,"date":"2024-09-24T22:33:57","date_gmt":"2024-09-24T20:33:57","guid":{"rendered":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/?page_id=293"},"modified":"2024-09-24T22:40:34","modified_gmt":"2024-09-24T20:40:34","slug":"pip-install-deaduction-windows-version","status":"publish","type":"page","link":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/pip-install-deaduction-windows-version\/","title":{"rendered":"pip install deaduction (version Windows)"},"content":{"rendered":"\n<p><em>(<a href=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/pip-install-deaduction\/\">voir ici pour la version Linux et Mac Os<\/a>)<\/em><\/p>\n\n\n\n<p>D\u2203\u2200DUCTION est maintenant disponible sous forme de paquet Python, installable avec pip.<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Il faut disposer de Python, version \u2265 3.8.<\/li>\n\n\n\n<li>Il est recommand\u00e9 de <a href=\"https:\/\/realpython.com\/python-virtual-environments-a-primer\/\">cr\u00e9er un environnement virtuel<\/a> pour ne pas avoir de probl\u00e8me d&rsquo;interf\u00e9rences avec d&rsquo;autres paquets. Pour <strong>cr\u00e9er<\/strong> et <strong>activer<\/strong> un environnement virtuel dans un dossier qui sera nomm\u00e9 deaduction_venv, ouvrez un terminal de commande et tapez :<\/li>\n<\/ul>\n\n\n\n<pre class=\"wp-block-code\"><code>py -m venv deaduction_venv\ndeaduction_venv\\Scripts\\activate<\/code><\/pre>\n\n\n\n<p>Vous pouvez remplacer la commande \u00ab\u00a0py\u00a0\u00bb par le chemin complet vers l&rsquo;ex\u00e9cutable python.exe, par exemple :<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>C:\\Users\\Name\\AppData\\Local\\Programs\\Python\\Python312\\python -m venv deaduction_venv<\/code><\/pre>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Installer D\u2203\u2200DUCTION et toutes ses d\u00e9pendances Python :<\/li>\n<\/ul>\n\n\n\n<pre class=\"wp-block-code\"><code>pip install deaduction<\/code><\/pre>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Lancer D\u2203\u2200DUCTION :<\/li>\n<\/ul>\n\n\n\n<pre class=\"wp-block-code\"><code>.\\deaduction_venv\\bin\\deaduction_app<\/code><\/pre>\n\n\n\n<p>Au premier lancement, une fen\u00eatre s&rsquo;ouvre et propose de t\u00e9l\u00e9charger Lean et Mathlib, \u00e0 la suite de quoi vous aurez acc\u00e8s au logiciel. Pour lancer D\u2203\u2200DUCTION les fois suivantes en activant l&rsquo;environnement virtuel, tapez simplement :<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>.\\deaduction_venv\\bin\\deaduction_app<\/code><\/pre>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Pour mettre \u00e0 jour (sous l&rsquo;environnement virtuel) :<\/li>\n<\/ul>\n\n\n\n<pre class=\"wp-block-code\"><code>pip install --upgrade deaduction<\/code><\/pre>\n\n\n\n<div style=\"height:100px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\" \/>\n\n\n\n<h2 class=\"wp-block-heading\">En cas d&rsquo;\u00e9chec&#8230;<\/h2>\n\n\n\n<p>Une piste est de r\u00e9essayer avec une version diff\u00e9rente de Python. Par exemple installez Python 3.12 et recommencez la proc\u00e9dure en sp\u00e9cifiant cette version pour cr\u00e9er l&rsquo;environnement virtuel  :<\/p>\n\n\n\n<pre class=\"wp-block-code\"><code>C:\\Users\\Name\\AppData\\Local\\Programs\\Python\\Python312\\python -m venv deaduction_venv<\/code><\/pre>\n\n\n\n<p>Une fois l&rsquo;environnement virtuel cr\u00e9\u00e9 et activ\u00e9, les commandes pip et python lancent automatiquement la version de Python qui a \u00e9t\u00e9 utilis\u00e9e pour la cr\u00e9ation. Si vous obtenez <em>la m\u00eame erreur<\/em> <em> <\/em>avec deux versions diff\u00e9rentes de Python, alors le probl\u00e8me est probablement ailleurs<em> <\/em>; si vous obtenez deux erreurs diff\u00e9rentes, essayez une troisi\u00e8me version&#8230;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>(voir ici pour la version Linux et Mac Os) D\u2203\u2200DUCTION est maintenant disponible sous forme de paquet Python, installable avec pip. Vous pouvez remplacer la commande \u00ab\u00a0py\u00a0\u00bb par le chemin complet vers l&rsquo;ex\u00e9cutable python.exe, par exemple : Au premier lancement, une fen\u00eatre s&rsquo;ouvre et propose de t\u00e9l\u00e9charger Lean et Mathlib, \u00e0 la suite de quoi [&hellip;]<\/p>\n","protected":false},"author":56,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-293","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/293","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/users\/56"}],"replies":[{"embeddable":true,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/comments?post=293"}],"version-history":[{"count":6,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/293\/revisions"}],"predecessor-version":[{"id":304,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/293\/revisions\/304"}],"wp:attachment":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/media?parent=293"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}