kernel: cache conversion results within a session#22309

olympichek wants to merge 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

olympichek:conversion-cache-prolympichek/rocq:conversion-cache-prCopy head branch name to clipboard