joachim/issue14961 - #14964

Closed

nomeata wants to merge 1 commit into

joachim/issue14961

Commits on Aug 29, 2026

fix: kernel error from `simp` results cached with a proof that has free variables

nomeata
and
claude
committed
11ddd0a