commit: 0f2cecfe42980816042c4655a5bd4b8f24e59cc2

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

Tue Jun 11 15:10:51 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jun 11 15:46:14 2024 -0700
tree: e9aedfa799c1bcae8679cd5dc7246cdc3ee881ae
parent: 4f630233803e4400acfd0f635a0078c8a27de2b6 [diff]

feat: `dsimproc`s for `ite` and `dite`

2 files changed

tree: e9aedfa799c1bcae8679cd5dc7246cdc3ee881ae

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