Verified Lean result

Select a theorem

Lean Verification

verification.json

Lean Runtime Output

Problem

problem.md

Lean Solution

solution.lean

Raw Verifier JSON