Video From 23w5124: Formalization of Cohomology Theories
Iurii Kudriashov, Texas A&M
Monday, May 22, 2023 09:00 - 10:00
The path to the formalization of de Rham cohomology
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.