commit: a9e9a6b32abb8e07173cc67bb10436321fad2f1c

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

Thu Oct 23 14:52:09 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Oct 23 14:52:09 2025 -0700
tree: 7233d3ca3dfc01407b7cb348f24ea1839e7dbe8c
parent: 18bb309ae582302d78691765ea570327c6eb7a38 [diff]

fix: missing `assertAll`

2 files changed

tree: 7233d3ca3dfc01407b7cb348f24ea1839e7dbe8c

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.