Video From 20w5144: Proof Complexity

Tuesday, January 21, 2020 09:02 - 09:58
On Depth 1 Frege Systems

Download this video (209M)



Other videos from this workshop