[Proof Complexity] list archives

Emil Jerabek jerabek at math.cas.cz
Mon Oct 22 17:39:09 CEST 2012

Dear colleagues,

The proof complexity list has now acquired public archives, which you can
access at


(There is also a link from the list information page,
http://list.math.cas.cz/listinfo/proof-complexity). I hope this will
enhance the usefulness of the list as an announcement venue.

Best regards,
Emil Jerabek

More information about the Proof-Complexity mailing list