commit: a5ddc8f4f9e23ed85fe62d36bbda509f5ba4a19a

[log]
author: Kim Morrison <kim@tqft.net>

Thu Apr 10 09:26:29 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Apr 10 09:26:29 2025 +1000
tree: a3a7a569f03dbbf8bbe0bfde658621704c8150c2
parent: 72a63d87c96db413ef97002b781b69789f61e7a5 [diff]

oops, merge problems

src/Init/Data/UInt/Basic.lean[diff]

1 file changed

tree: a3a7a569f03dbbf8bbe0bfde658621704c8150c2

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