commit: 0e92d5f6b48b3b79adbb65fae3d4b74dd635d98d

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

Tue Jan 14 21:06:12 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jan 14 21:31:39 2025 -0800
tree: 24b3a85caf15b9985bc17d786c5727fdfb37656b
parent: e05c668c2764e388c2358668e01584b357406548 [diff]

fix: move canonicalizer state to `Goal`

3 files changed

tree: 24b3a85caf15b9985bc17d786c5727fdfb37656b

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).