Ensure shadowed variables are inaccessible in quotations#11

Open

alexkeizer wants to merge 3 commits intoleanprover-community:masterfrom alexkeizer:preserve-shadowing

+54-3

Commits on Apr 16, 2023

Keep track of which variables are shadowed,
alexkeizer
committed

Commits on Nov 2, 2023

Merge branch 'master' into preserve-shadowing
eric-wieser
authored

Commits on Dec 13, 2023

fix test
eric-wieser
committed