[Proof Complexity] a new preprint

[Jan Krajicek]

  Dear colleagues,

  a revision (rather substantial in part) of my preprint

  "Information in propositional proofs and algorithmic
   proof search"

associated with two talks I gave on the topic recently
is available via my web page

    https://www2.karlin.mff.cuni.cz/~krajicek

or, together with the abstract, at the ArXiv:

     http://arxiv.org/abs/2104.04711

Comments welcome!

                             Best regards,

                                     Jan