{"id":269,"date":"2024-09-19T14:34:58","date_gmt":"2024-09-19T12:34:58","guid":{"rendered":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/?page_id=269"},"modified":"2024-09-24T22:45:19","modified_gmt":"2024-09-24T20:45:19","slug":"pip-install-deaduction","status":"publish","type":"page","link":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/pip-install-deaduction\/","title":{"rendered":"pip install deaduction"},"content":{"rendered":"\n<p><em>(Cette page concerne Linux et Mac Os, <a href=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/pip-install-deaduction-windows-version\/\">voir ici pour la version Windows<\/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 et tapez :<\/li>\n<\/ul>\n\n\n\n<pre class=\"wp-block-code\"><code>python3 -m venv deaduction_venv\nsource deaduction_venv\/bin\/activate<\/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_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. L&rsquo;environnement virtuel est maintenant cr\u00e9\u00e9 et le paquet deaduction y est install\u00e9 ; 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>source deaduction_venv\/bin\/activate\ndeaduction_app<\/code><\/pre>\n\n\n\n<p>ou m\u00eame juste<\/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 (apr\u00e8s avoir activ\u00e9 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>python3.12 -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>(Cette page concerne Linux et Mac Os, voir ici pour la version Windows) D\u2203\u2200DUCTION est maintenant disponible sous forme de paquet Python, installable avec pip. 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. L&rsquo;environnement virtuel est maintenant cr\u00e9\u00e9 et le [&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-269","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/269","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=269"}],"version-history":[{"count":17,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/269\/revisions"}],"predecessor-version":[{"id":305,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/269\/revisions\/305"}],"wp:attachment":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/media?parent=269"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}