commit: 01f0fedef8dafd21ec2d8d8fc742d99af4f1372f

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Wed Mar 06 10:43:36 2024 +1100
committer: GitHub <noreply@github.com>

Tue Mar 05 23:43:36 2024 +0000
tree: 277c6dc9b4517785d4a9482d377a4ce1c1c9955e
parent: b8ff951cd18b62a2759433c9de89a0ee20869dcb [diff]

feat: further shaking of Nat/Int/Omega (#3613)

13 files changed

tree: 277c6dc9b4517785d4a9482d377a4ce1c1c9955e

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.