User:Sam Henderson

A practising programmer which will create proofs by exhaustion