commit: 36afaecd635c39b164b6bb52b6e26eaf88da1b77

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

Mon Jun 17 15:40:19 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jun 26 16:58:50 2024 -0700
tree: 125902b2a4880e3159cc7053c516665ed8007b8b
parent: 7b1765d94d60ee9abce48fa0b1a6ff574eee5810 [diff]

chore: fix tests

tests/lean/autoPPExplicit.lean.expected.out[diff]

1 file changed

tree: 125902b2a4880e3159cc7053c516665ed8007b8b

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