ser på foredragene fra Berkeley proofs workshop, og glad for å se at også i teorikretser blir det akseptert å si zkzk for å bety at du faktisk har zk.
1,52K