commit: 7f4925bd93e0317eea1567464c6afdb146f05c69

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

Thu Jan 30 17:52:57 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Jan 30 17:53:45 2025 -0800
tree: c92fa198e677d09ea7083ac5084f01e69af835cb
parent: 2b9abedd87b4e0efe3b73b7eb112b61b079c62f9 [diff]

chore: remove TODO

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

1 file changed

tree: c92fa198e677d09ea7083ac5084f01e69af835cb

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