[Proof Complexity] J.Avigad's talk

Jan Krajicek krajicek at karlin.mff.cuni.cz
Sat Dec 5 16:35:26 CET 2020

 Dear colleagues,

 Jeremy Avigad (Carnegie Mellon U.) will give a talk about

 "Interactive theorem proving for the working logician"

in our Logic seminar the coming Monday, see


It promises to be also of a general interest for proof complexity
people, see the abstract on the page above.

                             Best regards,


More information about the Proof-Complexity mailing list