Skip to content

update lean toolchain to v4.27.0#63

Merged
PratherConid merged 1 commit intoleanprover-community:mainfrom
abdoo8080:v4.27.0
Feb 12, 2026
Merged

update lean toolchain to v4.27.0#63
PratherConid merged 1 commit intoleanprover-community:mainfrom
abdoo8080:v4.27.0

Commits

Commits on Feb 11, 2026