VsRocq est une extension pour Visual Studio Code et VSCodium qui fournit un support avancé pour le prouveur interactif Rocq (anciennement Coq). Il permet aux utilisateurs de vérifier des preuves mathématiques, de développer des logiciels certifiés et d'enseigner la logique formelle grâce à une intégration fluide avec l'éditeur. L'outil offre des fonctionnalités comme la vérification continue des preuves, une interface interactive pour explorer les objectifs de preuve et un panneau dédié aux requêtes.

Plateforme éducative proposant des jeux interactifs pour enfants, conçus pour faciliter l'apprentissage des bases logiques et mathématiques. Les jeux, souvent centrés sur des univers colorés et ludiques comme celui des oursons, visent à rendre l'éducation accessible et amusante. Le projet inclut des outils pour les enseignants et les parents afin de suivre les progrès des enfants.

Ce projet propose des ressources et outils pour faciliter l'enseignement des mathématiques à travers des travaux dirigés utilisant l'assistant de preuve Coq. Il inclut des documents pédagogiques, des maquettes d'interfaces interactives, des prototypes logiciels et des expérimentations menées avec des élèves pour améliorer l'apprentissage des concepts mathématiques et logiques.

Tuxblocs HTML est un outil éducatif interactif conçu pour aider les enseignants et les élèves à manipuler des blocs numériques. Il permet de créer, mélanger, organiser et visualiser des blocs pour des activités pédagogiques en mathématiques ou en logique. Le projet facilite l'apprentissage des concepts de groupement, de comptage et de géométrie à travers une interface simple et intuitive.