Video From 20w5144: Proof Complexity

Wednesday, January 22, 2020 11:11 - 11:57
Automated Proof Search: The Aftermath

Download this video (181M)



Other videos from this workshop