commit: 1cf77107df86fbdc28cac822051eb9b83da83a0d

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

Sun Feb 02 17:50:05 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Feb 02 17:50:05 2025 -0800
tree: 6ba7881dc9f786d97c0559ba02288a01fcf7b0f7
parent: c193195a057d894c19030e24a7951459fc95588c [diff]

test: `grind_guide.lean`

tests/lean/grind_guide.lean[Added - diff]
tests/lean/grind_guide.lean.expected.out[Added - diff]

2 files changed

tree: 6ba7881dc9f786d97c0559ba02288a01fcf7b0f7

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