I went to the “debate” about Program Verif and the Lipton-Demillo-Perlis paper | Heykuki News