Skip to content

[#14369] perf: normalize free variables in the type class resolution cache key - #15

Draft
downstream-lean4[bot] wants to merge 6 commits into
masterfrom
adaptation-14369
Draft

[#14369] perf: normalize free variables in the type class resolution cache key#15
downstream-lean4[bot] wants to merge 6 commits into
masterfrom
adaptation-14369

downstream: follow upstream PR

4eb9917
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar