Mathematics
and Interactions

Marie Kerjean

zbMATH link

Code ORCID : 0000-0001-6141-6251

CNRS, LIPN
Université Sorbonne Paris Nord

• 2 videos
  

  01:34:11

  published on April 22, 2024

  Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

  By Marie Kerjean

  

  24:39

  published on February 14, 2022

  Differential linear logic extended to differential operators

  By Marie Kerjean