commit: b6d83136ab2875e328bbc04d1a5fb6f6770ee4fe

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

Mon Apr 21 17:21:51 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Apr 21 17:21:51 2025 -0700
tree: f5c282ec84394f04c9dcda1a93e273a587614a4a
parent: 1d88a368ac57b130b407e0e91923be1f401af66c [diff]

test: NullCert

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

1 file changed

tree: f5c282ec84394f04c9dcda1a93e273a587614a4a

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