commit: 994cfa4c74a066df050ca889da912e71fa70cd85

[log]
author: TomasPuverle <TomasPuverle@users.noreply.github.com>

Sun Sep 29 01:11:04 2024 -0700
committer: GitHub <noreply@github.com>

Sun Sep 29 08:11:04 2024 +0000
tree: afd0abbf97cc6f0471927e238df4f6a864c7ad10
parent: cf3e7de1434c4faa36e9c5466237068bae634b48 [diff]

doc: update documentation and tests for `toUIntX` functions (#5497)

Update documentation on functions to reflect actual behavior.
Add tests to ensure said behavior is as documented.

Closes #5483

3 files changed

tree: afd0abbf97cc6f0471927e238df4f6a864c7ad10

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