commit: 80fc92af81064148d386e6e6e3cf4c4ea8307dbb

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

Fri Jan 31 11:46:23 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jan 31 11:46:23 2025 -0800
tree: 86025b12fef915eb3155691f8b6cce74ce5f0f0c
parent: 58111ea618504676b8274d7d62b5d76af031cd89 [diff]

chore: cleanup example

tests/lean/run/grind_constProp.lean[diff]

1 file changed

tree: 86025b12fef915eb3155691f8b6cce74ce5f0f0c

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