Skip to content

Update Example Code for Feature Change in 'variable' visibility#154

Open
yanggao04 wants to merge 1 commit into
leanprover:masterfrom
yanggao04:patch-1
Open

Update Example Code for Feature Change in 'variable' visibility#154
yanggao04 wants to merge 1 commit into
leanprover:masterfrom
yanggao04:patch-1

Commits

Commits on Apr 22, 2025