Skip to content

[#14316] experiment: persist type class resolution cache across commands - #13

Draft
downstream-lean4[bot] wants to merge 11 commits into
masterfrom
adaptation-14316
Draft

[#14316] experiment: persist type class resolution cache across commands#13
downstream-lean4[bot] wants to merge 11 commits into
masterfrom
adaptation-14316

downstream: follow upstream PR

e2dcedb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar