Mathematics
and Interactions

Keywords > univalence

• Videos linked to univalence
  

  01:06:05

  published on December 15, 2025

  Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence

  By Cyril Cohen

  More +