Skip to content

fix: key visited expressions by structural equality - #59

Open
JoAdo07 wants to merge 2 commits into
leanprover:masterfrom
JoAdo07:fix/expr-cache-structural-equality
Open

fix: key visited expressions by structural equality#59
JoAdo07 wants to merge 2 commits into
leanprover:masterfrom
JoAdo07:fix/expr-cache-structural-equality

test: cover expression cache with differing binders

5169499
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs