Skip to content

fix: opacify functions using {Expr,Level}.data - #8821

Open
digama0 wants to merge 1 commit into
leanprover:masterfrom
digama0:data_opaque
Open

fix: opacify functions using {Expr,Level}.data#8821
digama0 wants to merge 1 commit into
leanprover:masterfrom
digama0:data_opaque

Commits

Commits on Jun 16, 2025