Skip to content

fix: kernel error from simp results cached with a proof that has free variables - #14965

Draft
nomeata wants to merge 1 commit into
masterfrom
joachim/issue14961
Draft

fix: kernel error from simp results cached with a proof that has free variables#14965
nomeata wants to merge 1 commit into
masterfrom
joachim/issue14961

fix: kernel error from `simp` results cached with a proof that has fr…

11ddd0a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar