commit: 7d3c23920ffd72751a0caced022632d0639bf2aa

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

Wed Jun 04 19:10:55 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jun 04 19:10:55 2025 -0700
tree: aab09b8e25ff26cc4dfd54adfbfcf47bc4071e00
parent: a0efa50fe7ae712168d40f62af9764d8dcdc9f2e [diff]

chore: `zero_add` as theorem

2 files changed

tree: aab09b8e25ff26cc4dfd54adfbfcf47bc4071e00

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.