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

"fix" test

467d63d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs