commit: a6d8767ef5ab76dec06cb17fcbf2d5faa2034692

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

Tue May 20 07:03:15 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue May 20 07:03:15 2025 -0700
tree: f84edbb1abb1a36cdd573458ea92a3f2ca98b9fc
parent: 1a6ba0b40cad6de033749af30ae534b6754ef7e8 [diff]

chore: fix stage2

src/Init/Grind/Cases.lean[diff]

1 file changed

tree: f84edbb1abb1a36cdd573458ea92a3f2ca98b9fc

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.