Video From 20w5144: Proof Complexity
Mika Goos, Stanford University
Wednesday, January 22, 2020 11:11 - 11:57
Automated Proof Search: The Aftermath
![](http://www.birs.ca/files/images/poster.png)
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.