July 2023 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Fri Jul 7 16:29:10 CEST 2023
Ending: Fri Jul 7 16:29:10 CEST 2023
Messages: 1

• [Proof Complexity] a revision of a paper   Jan Krajicek

Last message date: Fri Jul 7 16:29:10 CEST 2023
Archived on: Fri Jul 7 16:29:33 CEST 2023

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...