[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