Skip to content

Update Lean to v4.27.0#7

Open
i-love-lean wants to merge 1 commit intoBRonen:masterfrom
i-love-lean:master
Open

Update Lean to v4.27.0#7
i-love-lean wants to merge 1 commit intoBRonen:masterfrom
i-love-lean:master

Commits

Commits on Feb 17, 2026