commit: 7578e92f0ffb68b362a9e96f594722009988231f

[log]
author: Henrik Böving <hargonix@gmail.com>

Wed Nov 13 11:32:13 2024 +0100
committer: Henrik Böving <hargonix@gmail.com>

Wed Nov 13 11:32:13 2024 +0100
tree: 0279b38330bf3586539bc8fbcb7a71be5b008e35
parent: 1315266dd3faeaf28d1263668cb88f2f3f5e530c [diff]

feat: Bool.to(U)IntX

src/Init/Data/SInt/Basic.lean[diff]
src/Init/Data/UInt/Basic.lean[diff]
src/include/lean/lean.h[diff]
tests/lean/bool2int.lean[Added - diff]
tests/lean/bool2int.lean.expected.out[Added - diff]

5 files changed

tree: 0279b38330bf3586539bc8fbcb7a71be5b008e35

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