commit: 90abb8f9642c4ce6e36c6368747fc35f5f6ebc8d

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

Tue May 07 18:17:12 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue May 07 19:44:37 2024 -0700
tree: 6c0fa0e28782dbefc703cd4ea435882576d970ac
parent: 48c825c67f0d88e59658cf4f69d7a807ea88e68c [diff]

feat: reducibility hints override for the kernel

17 files changed

tree: 6c0fa0e28782dbefc703cd4ea435882576d970ac

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