commit: 09c67f3108e8176f982fbb2f0d47d2db61e1f66e

[log]
author: Kyle Miller <kmill31415@gmail.com>

Sat May 02 17:16:45 2026 -0700
committer: Kyle Miller <kmill31415@gmail.com>

Sat May 02 17:16:45 2026 -0700
tree: e9041643822cc971f9cbf19722331829728cbc57
parent: 6f510f1e8ef85f7dd63f69804ea27c2dc340706c [diff]

remove `(idx := val)` user syntax

4 files changed

tree: e9041643822cc971f9cbf19722331829728cbc57

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.