commit: 9a8543347796e52070ff7936661ae48fcebfea60

[log]
author: Violeta Hernández <vi.hdz.p@gmail.com>

Wed Nov 13 23:55:21 2024 -0600
committer: GitHub <noreply@github.com>

Thu Nov 14 05:55:21 2024 +0000
tree: 3183f547cab2f3a2ff1a678f547128d1b756301d
parent: 4616c0ac3e74fd0858110c7686e5888a3e3d2fb2 [diff]

refactor: allow `Sort u` in `Squash` (#6074)

Co-authored-by: Kim Morrison <kim@tqft.net>

src/Init/Core.lean[diff]

1 file changed

tree: 3183f547cab2f3a2ff1a678f547128d1b756301d

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