feat: Upstream derive handler for ToExpr from Mathlib#5906
Closed
alexkeizer wants to merge 16 commits intoleanprover:masterfrom
Closed
feat: Upstream derive handler for ToExpr from Mathlib#5906alexkeizer wants to merge 16 commits intoleanprover:masterfrom
ToExpr from Mathlib#5906alexkeizer wants to merge 16 commits intoleanprover:masterfrom
Commits
Commits on Oct 31, 2024
Commits on Dec 5, 2024
Commits on Dec 11, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed