commit: 437d247bd45a7ade4bee38bedde4fa16a150559a

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

Wed Jun 25 15:23:51 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 25 15:23:51 2025 +1000
tree: a4b69ce1a7c687b5eeb6422052f7e9938a37d712
parent: f83527e17e2058c4ba8ae397dc2aa7b3a0d5f216 [diff]
parent: 58c69909a1b1b8f497d79c3d1ff5f85c1ffd6ed3 [diff]

Merge remote-tracking branch 'origin/master' into ToInt_instances

tree: a4b69ce1a7c687b5eeb6422052f7e9938a37d712

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.