commit: 15f1aeed6e34b4a22ca94d310219e6a22c7cfce7

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

Sun Feb 02 18:11:41 2025 -0800
committer: GitHub <noreply@github.com>

Mon Feb 03 02:11:41 2025 +0000
tree: 6ba7881dc9f786d97c0559ba02288a01fcf7b0f7
parent: c193195a057d894c19030e24a7951459fc95588c [diff]

test: `grind_guide.lean` (#6908)

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