[#14316] feat: persist context-free type class resolution cache entries across commands - #13

[#14316] feat: persist context-free type class resolution cache entries across commands#13

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

masterleanprover/downstream-lean4:masterfrom

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