Skip to content

[Merged by Bors] - feat: support coercions in the differential geometry elaborators#30307

Closed
grunweg wants to merge 22 commits into
leanprover-community:masterfrom
grunweg:diffgeo-custom-elaborators-charts-v2
Closed

[Merged by Bors] - feat: support coercions in the differential geometry elaborators#30307
grunweg wants to merge 22 commits into
leanprover-community:masterfrom
grunweg:diffgeo-custom-elaborators-charts-v2

Fix

882d4bb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.