[Proof Complexity] my draft
Jan Krajicek
jan.krajicek at protonmail.com
Wed May 29 08:43:59 CEST 2024
Dear colleagues,
the current version of my generators draft available at
https://www.karlin.mff.cuni.cz/~krajicek/gdraft.html
is the last intermediate version before the final one. Just in case you had the
time to look at it and may have some comments - minor or major, specific or general -
please do send them to me during June.
Thank you and best regards, Jan
Odesláno z bezpečného Proton Mailu.
More information about the Proof-Complexity
mailing list