01:58
@RoyTinker sorry roy, I don't know what proof method you think I'm misunderstanding. Do you mean I am misunderstanding the principle of explosion?
@AndrejBauer I appreciate your help and apologize for my inadequacy. I think I'm genuinely try to understand what is going on and I have read every answer more than once and I am definitively listening. I am not sure why you think its difficult to get through to me since I've been quite happy to respond to people in the most polite way possible with the highest precision of language that I am capable of. I hope to not waste any more of your time and I thank your again for you attempts.
18 hours later…
« first day last day (15 days later) »
Transcript for
Feb21
Feb '1822
Mar9
Discussion on answer by Andrej Bauer:…
Imported from a comment discussion on cs.stackexchange.com/que...