Skip to content

fix: reject value substitution on non-sorry'd definitions - #86

Closed
savarin wants to merge 1 commit into
leanprover:masterfrom
savarin:fix/sorry-conditioned-value-fallback
Closed

fix: reject value substitution on non-sorry'd definitions#86
savarin wants to merge 1 commit into
leanprover:masterfrom
savarin:fix/sorry-conditioned-value-fallback

fix: reject value substitution on non-sorry'd definitions

aa9414b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs