Pierre Rousselin (Nov 22 2023 at 10:28): Pierre Rousselin (Nov 22 2023 at 10:28):Sorry, the following message is in French, since the meeting will also be in French.
Le défi Inria LiberAbaci vise à favoriser l'enseignement des mathématiques en licence avec l'assistant de preuve Coq.
L'une des tâches de ce défi est la constitution de bibliothèques de mathématiques et plus généralement de contenus (exercices, cours interactifs, ...) adaptés à cet usage.
Pour lancer l'activité sur ce thème, en concertation avec les potentiels utilisateurs, une réunion en visio-conférence aura lieu le : lundi 11 décembre de 9h à 12h accessible depuis le lien suivant : https://rendez-vous.renater.fr/liberabaci
Le planning prévisionnel est disponible sur cette page : https://liberabaci.gitlabpages.inria.fr/contenus.html
Il est encore possible d'ajouter des exposés, ou sujets de discussions sur ce thème. Un temps d'échanges est prévu en fin de matinée.
N'hésitez pas à transmettre ce message à toute personne, utilisatrice ou développeuse, qui pourrait être intéressée par cette réunion.
Last updated: Oct 13 2024 at 01:02 UTC