Lean 4.22 正式发版了
𝗟𝗲𝗮𝗻 𝟒.𝟐𝟐.𝟎 𝗶𝘀 𝗵𝗲𝗿𝗲! This release marks the culmination of our Year 2 roadmap, and we're particularly excited to announce the official release of:
🧠 The new 𝚐𝚛𝚒𝚗𝚍 tactic, an SMT-style tactic that includes theory-specific solvers (including cutsat) and a new Gröbner basis solver.
🏗️ The new Lean compiler which closes many long-standing issues, and lays the foundation for many future features and performance improvements.
In addition, this release includes 468 changes total, with 185 feature additions and 85 fixes, setting the stage for more advancements as Lean FRO enters its third year of operations.
𝗙𝘂𝗹𝗹 𝗿𝗲𝗹𝗲𝗮𝘀𝗲 𝗻𝗼𝘁𝗲𝘀: https://lnkd.in/gnzp9bYV
𝗟𝗲𝗮𝗻 𝟒.𝟐𝟐.𝟎 𝗶𝘀 𝗵𝗲𝗿𝗲! This release marks the culmination of our Year 2 roadmap, and we're particularly excited to announce the official release of:
🧠 The new 𝚐𝚛𝚒𝚗𝚍 tactic, an SMT-style tactic that includes theory-specific solvers (including cutsat) and a new Gröbner basis solver.
🏗️ The new Lean compiler which closes many long-standing issues, and lays the foundation for many future features and performance improvements.
In addition, this release includes 468 changes total, with 185 feature additions and 85 fixes, setting the stage for more advancements as Lean FRO enters its third year of operations.
𝗙𝘂𝗹𝗹 𝗿𝗲𝗹𝗲𝗮𝘀𝗲 𝗻𝗼𝘁𝗲𝘀: https://lnkd.in/gnzp9bYV