commit: 96be2e16869055e1bb3b5badce1abb231f25865b

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

Tue Mar 18 10:58:59 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Mar 18 11:03:17 2025 -0700
tree: 9feb491bd12aaf6cbae676b9b364d04a1e977bd4
parent: fbcd3de2c7c317797654bd3f19405f12da76af34 [diff]

feat: `Nat.cast` dsimproc

src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.lean[diff]

1 file changed

tree: 9feb491bd12aaf6cbae676b9b364d04a1e977bd4

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