Video From 20w5144: Proof Complexity

Wednesday, January 22, 2020 09:02 - 09:54
Lifting in Proof Complexity

Download this video (181M)



Other videos from this workshop