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

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

downstream-lean4[bot] wants to merge 11 commits into

masterleanprover/downstream-lean4:masterfrom

adaptation-14316leanprover/downstream-lean4:adaptation-14316Copy head branch name to clipboard