Skip to content

feat: upstream ToExpr deriving handler from Mathlib#6473

Merged
kmill merged 4 commits into
leanprover:masterfrom
kmill:derive-toExpr
Dec 31, 2024
Merged

feat: upstream ToExpr deriving handler from Mathlib#6473
kmill merged 4 commits into
leanprover:masterfrom
kmill:derive-toExpr

comments, formatting

48966fd
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs