Mathematical proof that a system meets its specifications, here implemented in Lean 4 to certify material stability predictions.
Multi-step reasoning, logic puzzles, mathematical problem-solving