Questions tagged [proof-golf]
Proof-golf is a competition to prove a particular theorem/statement using the fewest number of substitutions/steps given a set of axioms.
1 question
136
votes
11
answers
14k
views
(-a) × (-a) = a × a
We all know that \$(-a) \times (-a) = a \times a\$ (hopefully), but can you prove it?
Your task is to prove this fact using the ring axioms. What are the ring axioms? The ring axioms are a list of ...
- 100k