[Proof Complexity] a new preprint

[Jan Krajicek]

Dear colleagues,

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

http://arxiv.org/abs/2208.11642

I welcome comments you may have.

Best regards,

Jan

​

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