commit: 986f9c018fcb504db5ee43cf421b3750bb04aa6c

[log]
author: Kim Morrison <kim@tqft.net>

Wed Sep 16 05:06:39 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Wed Sep 16 05:06:39 2026 +0000
tree: 4ff090163b1de8e69e89193a45a5707c7b372c2c
parent: a1578f538264c712302747620e9d2e4c1d2965fb [diff]

test: cover additional powMod window and dispatch boundaries

tests/elab/lean_nat_powmod.lean[diff]

1 file changed

tree: 4ff090163b1de8e69e89193a45a5707c7b372c2c

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.