commit: 198e417c271e1d3fc5d42c3e61eba9e943bd04fe

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

Fri Dec 27 13:59:49 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Dec 27 14:00:29 2024 -0800
tree: f99c6b126c3fa21fbe7167109ece7387491c7438
parent: 14a47c6ff3bfcd544278c43fb2b1bd9443815613 [diff]

feat: literal values in `grind`

2 files changed

tree: f99c6b126c3fa21fbe7167109ece7387491c7438

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