commit: 9b87cd5be6a0afbfbfe9a70b2cf924fb8612b4dd

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

Wed Mar 26 11:37:18 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Mar 26 11:39:27 2025 -0700
tree: 1bb6f55a4e74dce8a89bb7b6dc015ecb9c74c636
parent: 8a03c89ef59417449fcd5c7a71d460237c9e910b [diff]

test: constant pattern

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

1 file changed

tree: 1bb6f55a4e74dce8a89bb7b6dc015ecb9c74c636

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