commit: f6f5bf63c8c394b08bcb6ae0fa773eaf4d4d0464

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 03 19:28:51 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 03 19:29:31 2025 -0700
tree: bede53f7bcd666e52f70f2f285cb5b3bba82fe1d
parent: 1260059a59b0d1862df4c1568562036e3753c80f [diff]

refactor: move read-only data to `Grind.Context`

2 files changed

tree: bede53f7bcd666e52f70f2f285cb5b3bba82fe1d

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.