commit: c165a78b905eab4eead96a91cb86fe807cdef8b3

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

Sun Aug 17 16:05:52 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Aug 17 16:49:22 2025 -0700
tree: a22205417279cd3517178c5f20ae8b71b0299f8c
parent: 1aa59f5579f0cb50bfc8b844ef2e4c72c76fb1d5 [diff]

chore: remove `NullCert` leftovers

3 files changed

tree: a22205417279cd3517178c5f20ae8b71b0299f8c

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.