commit: 4a987c8e5f63b2ebd2f9924bc56b58caefee190b

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

Wed Dec 25 21:43:09 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Dec 25 21:43:09 2024 -0800
tree: dfd9097aee33d940beaf43d85b1a6b8baf2f2bdc
parent: 80f5a2219e83d71b0fe06f8f88a054c69becc91d [diff]

feat: short proof generation for `grind`

5 files changed

tree: dfd9097aee33d940beaf43d85b1a6b8baf2f2bdc

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