The Lean Language Reference

Lean 4.20.1 (2025-06-04)🔗

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