[Proof Complexity] a new preprint

Jan Krajicek jan.krajicek at protonmail.com
Thu Aug 25 16:08:54 CEST 2022

Dear colleagues,

I have a new preprint "On the existence of strong proof complexity generators"
available (with a separate abstract) via the ArXiv:


I welcome comments you may have.

Best regards,



Odesláno z bezpečného [Proton Mail](https://proton.me/).

More information about the Proof-Complexity mailing list