Lean 4.20.1 (2025-06-04)
The 4.20.1 point release addresses a metaprogramming regression in Lean.Environment.addDeclCore (#8610).
The 4.20.1 point release addresses a metaprogramming regression in Lean.Environment.addDeclCore (#8610).