Skip to content

Institut Henri Poincaré

@instituthenripoincare • 33K subscribers • 1 video on Hallway • 2 recommendations

Open on YouTube

Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type Theory

Institut Henri Poincaré

Recommended by 212 years ago

Hidden gem