Ce projet pédagogique propose un support d'enseignement sur les séries génératrices, un concept fondamental en algorithmique et combinatoire. Il inclut des cours théoriques, des sujets de travaux pratiques et des consignes pour les étudiants. Destiné aux formations universitaires avancées, il facilite l'apprentissage et l'évaluation des compétences en mathématiques discrètes et en programmation.

Ce projet est un support pédagogique dédié à l'enseignement des intégrales avancées dans le cadre d'un cours universitaire de niveau L2. Il propose des exercices interactifs et des ressources pour aider les étudiants à maîtriser les concepts mathématiques complexes. Le contenu est sous licence Creative Commons, favorisant une diffusion libre et non commerciale.

Ce projet académique propose un enseignement complet en programmation fonctionnelle et en preuves formelles utilisant l'assistant de preuve Coq/Rocq. Destiné aux étudiants de Master 2 LMFI de l'Université de Paris, il couvre des sujets avancés comme la compression de données, la compilation certifiée et la formalisation de théorèmes mathématiques. Les étudiants réalisent des projets pratiques pour appliquer ces concepts théoriques.

Outil permettant de créer des diaporamas interactifs et dynamiques à partir de fichiers Markdown. Facilite la conception de présentations visuelles pour des formations, des réunions ou des conférences, avec des fonctionnalités avancées comme l'ajout de notes, des annotations, des formules mathématiques et des diagrammes. Idéal pour les enseignants, formateurs ou professionnels souhaitant des supports clairs et personnalisables.

Outil permettant de créer des diaporamas interactifs et dynamiques à partir de fichiers Markdown. Facilite la conception de présentations visuelles avec des fonctionnalités avancées comme les annotations, les tableaux blancs, les formules mathématiques et les diagrammes. Idéal pour les enseignants, formateurs ou professionnels souhaitant des supports de présentation modernes et personnalisables.