commit: c058c773fb505fb32b9b410d55b58dca0576e6f4

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

Sun Apr 27 13:04:29 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Apr 27 13:09:57 2025 -0700
tree: 2335ee37eeabf9babed4d31f96a802dc60741035
parent: 36dcecdd3948fcbea5fc219ddefda1bef3d1f1b6 [diff]

fix: ensure comm ring works with `grind.debug`

3 files changed

tree: 2335ee37eeabf9babed4d31f96a802dc60741035

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 (documentation source: doc/make/index.md).