š Lean 4.29.0 is out! Faster startup, simpler ššššššššššššš semantics, higher-order Miller pattern support in ššššš, and a significant overhaul to reducibility and instance handling. 453 changes!
š lean-lang.org/doc/reference/latest/releases/v4.29.0/
#LeanLang #LeanProver
