commit: e9eea44f5127f6380bd5de76b12e187d770d3405

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

Mon Apr 07 14:52:46 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Apr 07 14:54:13 2025 -0700
tree: 3922f5ec451fa5f1edfc5ed4077173ac0afeb5cf
parent: 5bee0fd2aea6b0836d2729d0e78de009af521d48 [diff]

chore: move test

tests/lean/grind/bool.lean[Deleted - diff]
tests/lean/run/grind_decide_bool_issues.lean[diff]

2 files changed

tree: 3922f5ec451fa5f1edfc5ed4077173ac0afeb5cf

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