release-highlights

By leanprover. Updated June 8, 2026. Categories: Project Management.

Write the Highlights section for Lean 4 release notes. Use when asked to write, draft, or update release highlights for a Lean version.

View repository on GitHub

SKILL.md

The description above is the indexed summary. With JavaScript enabled, this page also loads the SKILL.md text from GitHub.