Organising large proofs: techniques, tools, and future

Name: Organising large proofs: techniques, tools, and future
Uploaded: 2026-02-19T13:35:38Z
Channel: Institut Henri Poincaré

INSTITUT HENRI POINCARÉ · FEB 19, 2026

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

Views

127

Likes

—

Comments

—

Like rate

—

▸ Vs channel average

-88%

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

LAST 13 UPLOADS · ■ THIS VIDEO

More from this channel