Proof and counterexample artifacts
Produce a visible example, counterexample, or short proof artifact that justifies or rejects a mathematical claim.
Produce a visible example, counterexample, or short proof artifact that justifies or rejects a mathematical claim.