commit: 9bb75adddc1723af7364e65c800f8a399e468a78

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

Tue Nov 03 02:32:10 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Tue Nov 03 02:39:11 2026 +0000
tree: a0ad372f234b4647c49b4f98c25224f6d20c86ce
parent: 19579524f3c421ab3a03c972cc5a6e9217b886e0 [diff]
parent: bac4efae05625e3eb36ef836a131997ac490c75f [diff]

Merge remote-tracking branch 'origin/master' into kim-sym-semifield

# Conflicts:
#	src/Lean/Meta/Sym/Arith/Norm.lean

tree: a0ad372f234b4647c49b4f98c25224f6d20c86ce

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.