commit: c823ab44beb03080e5cfdb4af53e7ac21d1edfd1

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

Tue Jan 07 15:58:20 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jan 07 15:59:01 2025 -0800
tree: a6ed63d64a89ea056e604b136ac8772e5a363a4b
parent: 2938dc212d13ffdab77eca004b05b564455c10e3 [diff]

feat: add support for other `cast`-like operations

3 files changed

tree: a6ed63d64a89ea056e604b136ac8772e5a363a4b

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