Skip to content

feat: Upstream derive handler for ToExpr from Mathlib#5906

Closed
alexkeizer wants to merge 16 commits into
leanprover:masterfrom
opencompl:derive-toExpr
Closed

feat: Upstream derive handler for ToExpr from Mathlib#5906
alexkeizer wants to merge 16 commits into
leanprover:masterfrom
opencompl:derive-toExpr

Commits

Commits on Oct 31, 2024

Commits on Dec 5, 2024

Commits on Dec 11, 2024