Comment by sigbottle

2 months ago

what kinds of proofs would it be good at? I thought that combinatorial proofs would be easier to reason over than ones that required analysis

0 comments