3 ms·I went to the “debate” about Program Verif and the Lipton-Demillo-Perlis paper1 points by culturedsystems 5y ago