3 ms·
I like to write programs when I program and proofs when I mathematize. The program is for the computer and the proof is for a human. I think you're getting it
by pizlonator 10y ago
I like to write programs when I program and proofs when I mathematize. The program is for the computer and the proof is for a human.
I think you're getting it all mixed up!
- corndoge 10y agoI think you're wrong!