commit: fc8a2af9bdceea08ca03b890e7a986c98847e47c

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

Sun Apr 27 14:22:31 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Apr 27 14:22:31 2025 -0700
tree: 8c017261f2cf3c1f5887eef1961f5727ac4fa094
parent: 44111b5dc1592bfb08cf4f991dcb52a840ec0924 [diff]

feat: add `checkInvariants`

4 files changed

tree: 8c017261f2cf3c1f5887eef1961f5727ac4fa094

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