Skip to content

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

Draft
downstream-lean4[bot] wants to merge 10 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 10 commits into
masterfrom
adaptation-14369

downstream: follow upstream PR

bb91010
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar