Dear Colleagues, Our new preprint Alekseev, Grigoriev, Hirsch "Tropical proof systems" is now available at my web page https://edwardahirsch.github.io/edwardahirsch/papers.html Best regards, Edward -- Edward A. Hirsch https://edwardahirsch.github.io/edwardahirsch/