commit: 810a8e1ff2eea7d9b53f415f837cd8bdc56fef2f

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

Thu Mar 13 16:41:34 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Mar 13 16:41:34 2025 +1100
tree: 63cc6d59752faf61d2c8ee0e05d56ea934b4c627
parent: 56ac94b5911cb3e363418ef819a82a22c40d40ef [diff]

feat: cleanup on Int simp lemmas

5 files changed

tree: 63cc6d59752faf61d2c8ee0e05d56ea934b4c627

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 (documentation source: doc/make/index.md).