commit: c954c7defd9439f94ef6f62679452347668d85bc

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

Thu Jul 24 15:46:48 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Jul 24 15:46:48 2025 +1000
tree: 70830206ae15518b580590a8836e9c5717cdfd3e
parent: 8d5da6491ab06a0b3039fd3c7a517e3bbe6ffad6 [diff]

feat: add HPow Int field to Field

7 files changed

tree: 70830206ae15518b580590a8836e9c5717cdfd3e

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.