Mathematics
and Interactions

Jim Portegies

Code ORCID : 0000-0002-2103-7334

Eindhoven University of Technology
NL

• One video
  

  01:02:14

  published on December 15, 2025

  Waterproof: transforming a proof assistant into an educational tool

  By Jim Portegies