Skip to content

doc: add v4.33.0 highlights - #908

Merged
Garmelon merged 7 commits into
leanprover:mainfrom
juanjomadrigal:v4.33.0_highlights
Aug 3, 2026
Merged

doc: add v4.33.0 highlights#908
Garmelon merged 7 commits into
leanprover:mainfrom
juanjomadrigal:v4.33.0_highlights

Conversation

@juanjomadrigal

Copy link
Copy Markdown
Contributor

v4.33.0 release notes highlights

@leanprover-bot leanprover-bot added the HTML available HTML has been generated for this PR label Jul 30, 2026
Comment thread Manual/Releases/v4_33_0.lean Outdated
Comment thread Manual/Releases/v4_33_0.lean Outdated
juanjomadrigal and others added 2 commits July 31, 2026 07:50
Co-authored-by: Sebastian Graf <sgraf1337@gmail.com>
Comment thread Manual/Releases/v4_33_0.lean
Co-authored-by: Joachim Breitner <mail@joachim-breitner.de>
Comment thread Manual/Releases/v4_33_0.lean
Co-authored-by: Juan José Madrigal <juanjomadrigal326@gmail.com>
Comment thread Manual/Releases/v4_33_0.lean Outdated
Comment thread Manual/Releases/v4_33_0.lean
Garmelon and others added 2 commits August 3, 2026 17:21
Co-authored-by: Joachim Breitner <mail@joachim-breitner.de>
@Garmelon
Garmelon marked this pull request as ready for review August 3, 2026 15:56
@github-actions

github-actions Bot commented Aug 3, 2026

Copy link
Copy Markdown
Contributor

Preview for this PR is ready! 🎉 (also as a proofreading version). built with commit f2e7631.

@Garmelon
Garmelon added this pull request to the merge queue Aug 3, 2026
Merged via the queue into leanprover:main with commit d9dec63 Aug 3, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

HTML available HTML has been generated for this PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants