commit: 0fab9e884d1a2277d66e0a4cc00a1790d20ffae9

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

Sat Oct 25 18:52:34 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Oct 25 18:52:34 2025 -0700
tree: 3e862f2e3f92b77acc2df9174f5ff6c75bf2e8da
parent: 186063c14a0764a9fba60440e8d28b68bf85f1b8 [diff]

feat: simproc for `zpow`

2 files changed

tree: 3e862f2e3f92b77acc2df9174f5ff6c75bf2e8da

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.