Fix: Handle all ConstantInfo types and improve error message - #5

Open

JasonGross wants to merge 4 commits into

leanprover:masterfrom

JasonGross:copilot/fix-challenge-solution-constant-error

Commits on Dec 20, 2025

Initial plan
Copilot
committed
e9f1c38
Fix: Handle all ConstantInfo types and improve error message

Copilot
and
JasonGross
committed
24358db
Update Comparator/Compare.lean
JasonGross
authored
a7743e7
Update Comparator/Compare.lean
JasonGross
authored
9d18645