Lean Focused Research Organization: 📣 #LeanLang v4.21 is released! This release brings 295 changes, including feature additions, bug fixes, refactors, documentation improvements and performance improvements, in support of our Y2 roadmap: lean-fro.org/about/roadma... ➡️ See the full changelog here: lean-lang.org/doc/reference/

See full post

Lean Focused Research Organization lean-lang.org
📣 #LeanLang v4.21 is released! This release brings 295 changes, including feature additions, bug fixes, refactors, documentation improvements and performance improvements, in support of our Y2 roadmap: lean-fro.org/about/roadma... ➡️ See the full changelog here: lean-lang.org/doc/reference/
Jun 30, 2025 20:22
0 reposts 0 quotes 0 likes

View on Bluesky Download image Show all post labels
a bezoar a-bezoar.bsky.social · Jun 30, 2025
would you please check that your links work and are correct before posting. Here is the correct changelog link for v4.21 lean-lang.org/doc/referenc...
https://lean-lang.org/doc/reference/latest/releases/v4.21.0/#release-v4___21___0

lean-lang.org

View on Bluesky Show all post labels
Lean Focused Research Organization lean-lang.org · Jun 30, 2025
Thanks for the fix!

View on Bluesky Show all post labels

An unhandled error has occurred. Reload 🗙