commit: 8177289371125ed81c87ffd1280a8ab0d8e1082e

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

Thu Jan 02 16:45:55 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Jan 02 16:47:33 2025 -0800
tree: 2b242e79bb4f3ccdd1777a522bffdac7f3fc98a8
parent: 2d30a4491653db831a7380d10d82194464a5de82 [diff]

feat: `dite` propagator for `grind`

3 files changed

tree: 2b242e79bb4f3ccdd1777a522bffdac7f3fc98a8

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