commit: 746f7c2c5e243a288e4c801faff4a7f8139576ff

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

Wed Apr 23 12:05:43 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Apr 23 12:05:43 2025 -0700
tree: 9f0f19005ef1de2dbf75c5b1bded900f30f98bc7
parent: 7feb583b9e4ca5b2958f993a578d4bd9d8ca3f48 [diff]

feat: compute `PreNullCert`

3 files changed

tree: 9f0f19005ef1de2dbf75c5b1bded900f30f98bc7

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