{"id":311,"date":"2024-12-17T10:51:13","date_gmt":"2024-12-17T09:51:13","guid":{"rendered":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/?page_id=311"},"modified":"2024-12-17T11:26:13","modified_gmt":"2024-12-17T10:26:13","slug":"d%e2%88%83%e2%88%80duction-whats-new","status":"publish","type":"page","link":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/d%e2%88%83%e2%88%80duction-whats-new\/","title":{"rendered":"D\u2203\u2200DUCTION-What&rsquo;s new"},"content":{"rendered":"<ul class=\"wp-block-latest-posts__list wp-block-latest-posts\"><li><a class=\"wp-block-latest-posts__post-title\" href=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/2025\/04\/09\/a-venir\/\">A VENIR&#8230;<\/a><div class=\"wp-block-latest-posts__post-full-content\"><!-- wp:paragraph -->\n<p><a href=\"https:\/\/dropsu.sorbonne-universite.fr\/s\/CYmHkofXAneywyZ\">Exercices sur les fonctions paires et impaire<\/a><\/p>\n<!-- \/wp:paragraph --><\/div><\/li>\n<li><a class=\"wp-block-latest-posts__post-title\" href=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/2024\/12\/17\/d%e2%88%83%e2%88%80duction-0-39996\/\">D\u2203\u2200DUCTION 0.39996<\/a><div class=\"wp-block-latest-posts__post-full-content\"><!-- wp:list -->\n<ul class=\"wp-block-list\"><!-- wp:list-item -->\n<li>Tentative d&rsquo;am\u00e9lioration de l&rsquo;ergonomie de la calculatrice (en particulier, une seule fen\u00eatre au lieu de deux, et navigation plus intuitive (?))<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Ajout de messages explicatifs dans des fen\u00eatres d&rsquo;alerte,<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>L&rsquo;\u00e9nonc\u00e9 est affich\u00e9 quand on retourne au d\u00e9but<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>L&rsquo;utilisateur peut nommer les nouvelles variables (en option)<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Ic\u00f4ne de nouvel objet remplac\u00e9e par du gras<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>L&rsquo;installation en r\u00e9seau est facilit\u00e9e (Lean et Mathlib sont recherch\u00e9s d&rsquo;abord de fa\u00e7on centralis\u00e9e)<\/li>\n<!-- \/wp:list-item --><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:image {\"id\":332,\"width\":\"730px\",\"height\":\"auto\",\"sizeSlug\":\"large\",\"linkDestination\":\"none\"} -->\n<figure class=\"wp-block-image size-large is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"915\" src=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2024\/12\/calculatrice-1024x915.png\" alt=\"\" class=\"wp-image-332\" style=\"width:730px;height:auto\" srcset=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2024\/12\/calculatrice-1024x915.png 1024w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2024\/12\/calculatrice-300x268.png 300w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2024\/12\/calculatrice-768x687.png 768w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2024\/12\/calculatrice.png 1028w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n<!-- \/wp:image --><\/div><\/li>\n<\/ul>\n\n\n<p>D\u2203\u2200DUCTION 0.3999<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Corrections divers bugs, exercices \u00e9l\u00e9mentaires d&rsquo;arithm\u00e9tique<\/li>\n<\/ul>\n\n\n\n<figure class=\"wp-block-image size-full is-resized\"><img loading=\"lazy\" decoding=\"async\" width=\"828\" height=\"224\" src=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2024\/12\/enonce-arithmetique.png\" alt=\"\" class=\"wp-image-335\" style=\"width:603px;height:auto\" srcset=\"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2024\/12\/enonce-arithmetique.png 828w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2024\/12\/enonce-arithmetique-300x81.png 300w, https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-content\/uploads\/sites\/55\/2024\/12\/enonce-arithmetique-768x208.png 768w\" sizes=\"auto, (max-width: 828px) 100vw, 828px\" \/><\/figure>\n\n\n\n<p>D\u2203\u2200DUCTION 0.39<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Une \u00ab\u00a0calculatrice logique\u00a0\u00bb permet \u00e0 l&rsquo;utilisateurice de rentrer des objets math\u00e9matiques (pour appliquer un th\u00e9or\u00e8me, fournir un t\u00e9moin pour d\u00e9montrer une propri\u00e9t\u00e9 existentielle, formuler un nouveau but, etc.)<\/li>\n\n\n\n<li>Nouvelle interface de choix des exercices, avec indication des exercices faits, et possibilit\u00e9 de sauvegarder les preuves.<\/li>\n\n\n\n<li>Boutons de calcul (exp\u00e9rimental) : additionner des in\u00e9galit\u00e9s, les enchainer, etc. .<\/li>\n\n\n\n<li>Am\u00e9lioration de l&rsquo;affichage des maths.<\/li>\n\n\n\n<li>R\u00e9solution de probl\u00e8mes de ralentissement, ajout d&rsquo;un bouton pour red\u00e9marrer le serveur Lean.<\/li>\n<\/ul>\n\n\n\n<p>D\u2203\u2200DUCTION 0.31<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Quelques exercices sur les limites !<\/li>\n\n\n\n<li>Correction de bugs, am\u00e9lioration du choix des param\u00e8tres<\/li>\n<\/ul>\n\n\n\n<p>D\u2203\u2200DUCTION 0.3<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Aide sur chaque \u00e9l\u00e9ment du contexte, et sur le but<\/li>\n\n\n\n<li>Glisser-d\u00e9poser (\u00ab\u00a0drag and drop\u00a0\u00bb)<\/li>\n<\/ul>\n\n\n\n<p>D\u2203\u2200DUCTION 0.2<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Fen\u00eatre donnant un aper\u00e7u global de la preuve<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>D\u2203\u2200DUCTION 0.3999 D\u2203\u2200DUCTION 0.39 D\u2203\u2200DUCTION 0.31 D\u2203\u2200DUCTION 0.3 D\u2203\u2200DUCTION 0.2<\/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-311","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/311","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=311"}],"version-history":[{"count":9,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/311\/revisions"}],"predecessor-version":[{"id":337,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/pages\/311\/revisions\/337"}],"wp:attachment":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/media?parent=311"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}