[<<][math][>>][..]Fri Dec 29 13:48:44 EST 2017
Coming back to proofs in agda. Why does it feel so asymmetric to prove things using case analysis (disjunction) as opposed to tupling (conjunction)? I still don't have a good answer as to why disjuction and conjuction feel so different, while somehow "being made of the same stuff".
[Reply][About]
[<<][math][>>][..]