Mathematics
and Interactions

Keywords > Generative AI

• Videos linked to Generative AI
  

  01:02:14

  published on December 15, 2025

  Waterproof: transforming a proof assistant into an educational tool

  By Jim Portegies

  More +