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

Update Comparator/Compare.lean

9d18645
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs