commit: c279c088c81f0783340e6c7a1e90bec1bd01d292

[log]
author: David Thrane Christiansen <david@davidchristiansen.dk>

Thu Mar 20 15:04:56 2025 +0100
committer: GitHub <noreply@github.com>

Thu Mar 20 14:04:56 2025 +0000
tree: 258741a5e5c010b2eae7b91b18ca681f0e78fb70
parent: 086d45f27c83f67237fd8cce5e2b54fb0e639494 [diff]

doc: review Int docstrings (#7568)

This PR adds missing `Int` docstrings and makes the style of all of them
consistent.

11 files changed

tree: 258741a5e5c010b2eae7b91b18ca681f0e78fb70

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