Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence

Name: Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence
Uploaded: 2026-02-19T13:35:38Z
Channel: Institut Henri Poincaré

INSTITUT HENRI POINCARÉ · FEB 19, 2026

This YouTube video has 115 views and was published Feb 19, 2026 on Institut Henri Poincaré. That is 0.1x the channel's average views.

Views

115

Likes

—

Comments

—

Like rate

—

▸ Vs channel average

-89%

This video is at 0.1x the channel's average views.

LAST 13 UPLOADS · ■ THIS VIDEO

More from this channel