commit: 35cdcad6655a046774a1725d37509cc696b5fc12

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

Sun Apr 28 19:53:14 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Apr 28 19:53:14 2024 -0700
tree: 5c3988a42205bdb52187d250e00b35493e4f5c5f
parent: 7c5772af2c72a3640ec1b8cea62e4212adb99248 [diff]

test: for flexible reducibility attributes

3 files changed

tree: 5c3988a42205bdb52187d250e00b35493e4f5c5f

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.