Skip to content

feat: add custom elaborators for immersions#30504

Open
grunweg wants to merge 41 commits into
leanprover-community:masterfrom
grunweg:immersions-elaborator
Open

feat: add custom elaborators for immersions#30504
grunweg wants to merge 41 commits into
leanprover-community:masterfrom
grunweg:immersions-elaborator

feat/chore: add and use custom elaborators for immersions

0d97a66
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error

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