Verified Lean result

Select a theorem

PROVED 1.0

Judge Verification

verification.json

Problem

problem.md

Lean Solution

solution.lean

Raw Verifier JSON