Skip to content

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
Open

Fix: Handle all ConstantInfo types and improve error message#5
JasonGross wants to merge 4 commits into
leanprover:masterfrom
JasonGross:copilot/fix-challenge-solution-constant-error

Commits

Commits on Dec 20, 2025