A mathematically rigorous proof written in a language that a computer can verify for correctness, rather than a human-readable explanation.
Multi-step reasoning, logic puzzles, mathematical problem-solving