commit: 236d6cd7373aa416509f199464538054f0d67a62

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

Sun May 25 17:26:23 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun May 25 17:26:23 2025 -0700
tree: 283b2c37af24477a9f91fb7ffda8018fb5308f90
parent: a7afabcdda0b3aacc24dcc5b9160dd9e713be826 [diff]

test: hash-consing alpha

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

1 file changed

tree: 283b2c37af24477a9f91fb7ffda8018fb5308f90

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.