3 ms·Ok, but which idea is not simple?by fiatjaf 11y agoOk, but which idea is not simple?danparsonson 11y agoQuantum mechanicsschwarrrtz 11y agoformal proofs of correctness