{"id":196,"date":"2023-12-28T10:47:07","date_gmt":"2023-12-28T09:47:07","guid":{"rendered":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/?p=196"},"modified":"2024-12-17T10:54:36","modified_gmt":"2024-12-17T09:54:36","slug":"d%e2%88%83%e2%88%80duction-0-39","status":"publish","type":"post","link":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/2023\/12\/28\/d%e2%88%83%e2%88%80duction-0-39\/","title":{"rendered":"D\u2203\u2200DUCTION 0.39"},"content":{"rendered":"\n
\n
Version Linux (Ubuntu)<\/a><\/div>\n<\/div>\n\n\n\n
<\/div>\n\n\n\n

Nouveaut\u00e9s :<\/h3>\n\n\n\n
    \n
  • Une \u00ab\u00a0calculatrice logique\u00a0\u00bb permet \u00e0 l’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
  • Nouvelle interface de choix des exercices, avec indication des exercices faits, et possibilit\u00e9 de sauvegarder les preuves.<\/li>\n\n\n\n
  • Boutons de calcul (exp\u00e9rimental) : additionner des in\u00e9galit\u00e9s, les enchainer, etc. .<\/li>\n\n\n\n
  • Am\u00e9lioration de l’affichage des maths.<\/li>\n\n\n\n
  • R\u00e9solution de probl\u00e8mes de ralentissement, ajout d’un bouton pour red\u00e9marrer le serveur Lean.<\/li>\n<\/ul>\n\n\n\n
    \n
    \n
    <\/div>\n<\/div>\n<\/div>\n\n\n\n
    \n
    \n
    \n
    \n
    \"Formulaire<\/figure>\n\n\n\n
    \"Formulaire<\/figure>\n\n\n\n
    \"Formulaire<\/figure>\n<\/div>\n<\/div>\n<\/div>\n\n\n\n
    \n
    \"Calculatrice<\/figure>\n<\/div>\n<\/div>\n\n\n
    \n
    \"Choisir<\/figure>\n<\/div>\n\n\n
    \n","protected":false},"excerpt":{"rendered":"

    Nouveaut\u00e9s :<\/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-196","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\/196","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=196"}],"version-history":[{"count":22,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/posts\/196\/revisions"}],"predecessor-version":[{"id":246,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/posts\/196\/revisions\/246"}],"wp:attachment":[{"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/media?parent=196"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/categories?post=196"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/perso.imj-prg.fr\/frederic-leroux\/wp-json\/wp\/v2\/tags?post=196"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}