commit: 54bfa96042dd37c0e11178693c892d500a3f42d6

[log]
author: Kim Morrison <kim@tqft.net>

Wed Dec 17 02:47:45 2025 +0000
committer: Kim Morrison <kim@tqft.net>

Wed Dec 17 02:47:45 2025 +0000
tree: e237d9f8cfee99a9db55bc80b0203127d408eaef
parent: d306e0a03be89b2e4432c8e7a1355af5afd17edf [diff]
parent: e2617903f81f2f9ffc6c0b7a06cc91678c546305 [diff]

Merge branch 'master' into fix-grind-dot-notation

Resolve conflict in Param.lean: keep our TermElabM version of processParam
with the fallback to processTermParam for dot notation support.

tree: e237d9f8cfee99a9db55bc80b0203127d408eaef

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.