commit: 067913bc36b50fa8912b6f9e16d981c717889359

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 19 13:01:33 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 19 13:01:44 2024 -0800
tree: a26ca3215cd3c5b696f397de51169c8bb2d93a92
parent: c23a35c472c778aabc9339fbe2372a486eb6b6bc [diff]

chore: remove sorry

src/Init/Data/Nat/Lemmas.lean[diff]

1 file changed

tree: a26ca3215cd3c5b696f397de51169c8bb2d93a92

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.