{"id":247,"date":"2024-03-18T11:27:37","date_gmt":"2024-03-18T10:27:37","guid":{"rendered":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/?p=247"},"modified":"2024-12-17T10:54:30","modified_gmt":"2024-12-17T09:54:30","slug":"d%e2%88%83%e2%88%80duction-0-3999","status":"publish","type":"post","link":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/2024\/03\/18\/d%e2%88%83%e2%88%80duction-0-3999\/","title":{"rendered":"D\u2203\u2200DUCTION 0.3999"},"content":{"rendered":"\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/mycore.core-cloud.net\/index.php\/s\/pVsc6s5Pqbqqn0O\" target=\"_blank\" rel=\"noreferrer noopener\">Ubuntu<\/a><\/div>\n\n\n\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link wp-element-button\" href=\"https:\/\/mycore.core-cloud.net\/index.php\/s\/MHoVCyaYnM6oi0k\" target=\"_blank\" rel=\"noreferrer noopener\">Mac<\/a><\/div>\n<\/div>\n\n\n\n<h3 class=\"wp-block-heading\">Nouveaut\u00e9s : corrections divers bugs, exercices \u00e9l\u00e9mentaires d&rsquo;arithm\u00e9tique<\/h3>\n\n\n\n<h3 class=\"wp-block-heading\">Instructions d&rsquo;installation :<\/h3>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Pour une installation l\u00e9g\u00e8re sous Linux ou Mac, choisir le premier ou deuxi\u00e8me lien.<\/li>\n\n\n\n<li>Pas de version l\u00e9g\u00e8re pour Windows pour le moment, utiliser la machine virtuelle.<\/li>\n\n\n\n<li>La machine virtuelle prend une place m\u00e9moire importante (autour de 30Go), mais permettra une mise \u00e0 jour facile. Voici les instructions d&rsquo;installation :\n<ul class=\"wp-block-list\">\n<li> Installez le logiciel Oracle VirtualBox VM sur votre syst\u00e8me <a href=\"https:\/\/www.virtualbox.org\/wiki\/Downloads\">https:\/\/www.virtualbox.org\/wiki\/Downloads<\/a> (si votre syst\u00e8me est Linux et que vous ne tenez pas absolument a avoir la derniere version, il suffit de taper: sudo apt-get install virtualbox virtualbox-ext-pack)<\/li>\n\n\n\n<li> T\u00e9l\u00e9chargez le fichier : Debian-ProofAssistants.ova<\/li>\n\n\n\n<li>Dans un explorateur de fichiers, faites un clic droit sur le fichier Debian-ProofAssistants.ova pr\u00e9c\u00e9demment t\u00e9l\u00e9charg\u00e9 et choisissez &lsquo;Ouvrir avec Oracle VM VirtualBox&rsquo; Puis Cliquez sur &lsquo;Importer&rsquo;<\/li>\n\n\n\n<li>Dans le logiciel &lsquo;Oracle VM VirtualBox&rsquo; cliquez sur la machine \u00ab\u00a0Debian-ProofAssistants\u00a0\u00bb (colonne de gauche) puis sur \u00ab\u00a0D\u00e9marrer\u00a0\u00bb (grosse fl\u00e8che verte)<\/li>\n\n\n\n<li>Le login est &lsquo;appam&rsquo; et le mot de passe est &lsquo;anr&rsquo;<\/li>\n\n\n\n<li>Double-cliquer sur le script &lsquo;Deaduction.sh&rsquo; qui apparait sur le bureau virtuel<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Nouveaut\u00e9s : corrections divers bugs, exercices \u00e9l\u00e9mentaires d&rsquo;arithm\u00e9tique Instructions d&rsquo;installation :<\/p>\n","protected":false},"author":56,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[6,4],"tags":[],"class_list":["post-247","post","type-post","status-publish","format-standard","hentry","category-anciennes-versions","category-deaduction"],"_links":{"self":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/posts\/247","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/types\/post"}],"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=247"}],"version-history":[{"count":8,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/posts\/247\/revisions"}],"predecessor-version":[{"id":274,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/posts\/247\/revisions\/274"}],"wp:attachment":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/media?parent=247"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/categories?post=247"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/tags?post=247"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}