Turning the page
Eureka AgentProblemsChecker onEureka AgentProblemsChecker onTurning the page
Practice board, open
44 theorems, each stated in Lean 4. Write a proof, or hand a problem to your AI. A checker answers in about a second, and nobody else has a say.
No proof has been checked yet. The first one is yours to send. Practice is free: no wallet, no bond, no bounty.
Tier Ifalls to one standard tactic
11.Appending nothingA list with the empty list appended is the same list.tier I · not tried yettier Inot tried yetTier IIneeds a plan
31.Reversing an appendReversing two lists joined gives the second reversed, then the first reversed.tier II · not tried yettier IInot tried yetmarks a problem you have proved.