commit: f6b968a1e7b84f3ee04418c52ac5d36050d3d792

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

Mon Jan 27 19:54:23 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jan 27 19:54:23 2025 -0800
tree: 9d6f087cf9f116b2ee774aa1b6bdb3ec8851248f
parent: aa0bb63efbb5b60e5abc0aeb54ca6b0d24aecae6 [diff]

test: `grind?`

tests/lean/run/grind_trace.lean[Added - diff]

1 file changed

tree: 9d6f087cf9f116b2ee774aa1b6bdb3ec8851248f

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